Skip to content

Commit

Permalink
Traces should load
Browse files Browse the repository at this point in the history
  • Loading branch information
will62794 committed Feb 28, 2025
1 parent 2f7ac45 commit b6379e7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion js/app.js
Original file line number Diff line number Diff line change
Expand Up @@ -812,7 +812,7 @@ function chooseNextState(statehash_short, quantBoundsHash, rethrow = false) {

let currNextStatesSet = _.flatten(_.values(model.currNextStates));
let nextStateChoices = currNextStatesSet.filter(s => {
if (quantBoundsHash === undefined) {
if (quantBoundsHash === undefined || _.isEmpty(quantBoundsHash)) {
return s["state"].fingerprint() === statehash_short;
} else {
// If quant bounds are given, then choose next state that both
Expand Down

0 comments on commit b6379e7

Please sign in to comment.