Commitc83d108

committed

fix potential infinite loop

1 parent53ff651 commitc83d108Copy full SHA for c83d108

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -331,7 +331,7 @@ def compare_automata(aut_1: DeterministicAutomaton, aut_2: DeterministicAutomato`
`331`	`331`	`# be reached`
`332`	`332`	`failsafe_counter=0`
`333`	`333`	`failsafe_stopping=num_cex*100`
`334`		`-whilelen(found_cex)<num_cexorfailsafe_counter==failsafe_stopping:`
	`334`	`+whilelen(found_cex)<num_cexandfailsafe_counter<failsafe_stopping:`
`335`	`335`	`cex=eq_oracle.find_cex(test_automaton)`
`336`	`336`	`# if no counterexample can be found terminate the loop`
`337`	`337`	`ifcexisNone:`

Comments

(0)