Commitaef5c31

authored

Merge pull request#98 from andreastedile/master

Remove unused parameter from WMethodEqOracle

2 parentsc6790a7 +28eff39 commitaef5c31Copy full SHA for aef5c31

File tree

-9

lines changed

-9

lines changed

Lines changed: 1 addition & 3 deletions

Original file line number	Diff line number	Diff line change
`@@ -11,19 +11,17 @@ class WMethodEqOracle(Oracle):`
`11`	`11`	`finite-state machines'.`
`12`	`12`	`"""`
`13`	`13`
`14`		`-def__init__(self,alphabet:list,sul:SUL,max_number_of_states,shuffle_test_set=True):`
	`14`	`+def__init__(self,alphabet:list,sul:SUL,max_number_of_states):`
`15`	`15`	`"""`
`16`	`16`	`Args:`
`17`	`17`
`18`	`18`	`alphabet: input alphabet`
`19`	`19`	`sul: system under learning`
`20`	`20`	`max_number_of_states: maximum number of states in the automaton`
`21`		`- shuffle_test_set: if True, test cases will be shuffled`
`22`	`21`	`"""`
`23`	`22`
`24`	`23`	`super().__init__(alphabet,sul)`
`25`	`24`	`self.m=max_number_of_states`
`26`		`-self.shuffle=shuffle_test_set`
`27`	`25`	`self.cache=set()`
`28`	`26`
`29`	`27`	`deftest_suite(self,cover,depth,char_set):`

Lines changed: 2 additions & 6 deletions

Original file line number	Diff line number	Diff line change
`@@ -82,9 +82,7 @@ def test_wmethod_oracle(self):`
`82`	`82`	`assertlen(real.states)==6`
`83`	`83`	`assertlen(hyp.states)==2`
`84`	`84`	`alphabet=real.get_input_alphabet()`
`85`		`-oracle=WMethodEqOracle(`
`86`		`-alphabet,AutomatonSUL(real),len(real.states)+1,shuffle_test_set=False`
`87`		`- )`
	`85`	`+oracle=WMethodEqOracle(alphabet,AutomatonSUL(real),len(real.states)+1)`
`88`	`86`	`cex=oracle.find_cex(hyp)`
`89`	`87`	`assertcexisnotNone,"Expected a counterexample, but got None"`
`90`	`88`
`@@ -98,9 +96,7 @@ def test_wmethod_oracle_with_lstar(self):`
`98`	`96`	`assertlen(real.states)==6`
`99`	`97`	`assertlen(hyp.states)==2`
`100`	`98`	`alphabet=real.get_input_alphabet()`
`101`		`-oracle=WMethodEqOracle(`
`102`		`-alphabet,AutomatonSUL(real),len(real.states)+1,shuffle_test_set=False`
`103`		`- )`
	`99`	`+oracle=WMethodEqOracle(alphabet,AutomatonSUL(real),len(real.states)+1)`
`104`	`100`	`lstar_hyp=run_Lstar(alphabet,AutomatonSUL(real),oracle,"moore")`
`105`	`101`	`# print(lstar_hyp)`
`106`	`102`	`# visualize_automaton(lstar_hyp)`

Comments

(0)