Commit53ff651

committed

fix TransitionFocusOracle.py state tracking

1 parent58c6b1c commit53ff651Copy full SHA for 53ff651

File tree

-1

lines changed

-1

lines changed

Lines changed: 3 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ def find_cex(self, hypothesis):`
`31`	`31`	`for_inrange(self.num_walks):`
`32`	`32`	`self.reset_hyp_and_sul(hypothesis)`
`33`	`33`
`34`		`-curr_state=hypothesis.initial_state`
	`34`	`+curr_state=hypothesis.current_state`
`35`	`35`	`inputs= []`
`36`	`36`	`for_inrange(self.steps_per_walk):`
`37`	`37`	`ifrandom.random()<=self.same_state_prob:`
`@@ -46,6 +46,8 @@ def find_cex(self, hypothesis):`
`46`	`46`	`out_hyp=hypothesis.step(inputs[-1])`
`47`	`47`	`self.num_steps+=1`
`48`	`48`
	`49`	`+curr_state=hypothesis.current_state`
	`50`	`+`
`49`	`51`	`ifout_sul!=out_hyp:`
`50`	`52`	`self.sul.post()`
`51`	`53`	`returninputs`

Comments

(0)