Skip to content
Snippets Groups Projects
Commit 269bdaed authored by Pierre LALET's avatar Pierre LALET
Browse files

Fix automaton tests using fake socket generators

parent 3ecf379e
No related branches found
No related tags found
No related merge requests found
...@@ -754,12 +754,12 @@ class ATMT1(Automaton): ...@@ -754,12 +754,12 @@ class ATMT1(Automaton):
= Simple automaton Tests = Simple automaton Tests
~ automaton ~ automaton
a=ATMT1(init="a") a=ATMT1(init="a", ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == 'aabaaababaaabaaababab' ) assert( _ == 'aabaaababaaabaaababab' )
a.result a.result
assert( _ == 'aabaaababaaabaaababab' ) assert( _ == 'aabaaababaaabaaababab' )
a=ATMT1(init="b") a=ATMT1(init="b", ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == 'babababababababababababababab' ) assert( _ == 'babababababababababababababab' )
a.result a.result
...@@ -769,7 +769,7 @@ assert( _ == 'babababababababababababababab' ) ...@@ -769,7 +769,7 @@ assert( _ == 'babababababababababababababab' )
~ automaton ~ automaton
try: try:
ATMT1(init="").run() ATMT1(init="", ll=lambda: None, recvsock=lambda: None).run()
except Automaton.Stuck: except Automaton.Stuck:
True True
else: else:
...@@ -783,14 +783,14 @@ class ATMT2(ATMT1): ...@@ -783,14 +783,14 @@ class ATMT2(ATMT1):
def MAIN(self, s): def MAIN(self, s):
return "c"+ATMT1.MAIN(self, s).run() return "c"+ATMT1.MAIN(self, s).run()
a=ATMT2(init="a") a=ATMT2(init="a", ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == 'ccccccacabacccacababacccccacabacccacababab' ) assert( _ == 'ccccccacabacccacababacccccacabacccacababab' )
a.result a.result
assert( _ == 'ccccccacabacccacababacccccacabacccacababab' ) assert( _ == 'ccccccacabacccacababacccccacabacccacababab' )
a=ATMT2(init="b") a=ATMT2(init="b", ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == 'cccccbaccbabaccccbaccbabab') assert( _ == 'cccccbaccbabaccccbaccbabab')
a.result a.result
...@@ -806,12 +806,12 @@ class ATMT3(ATMT2): ...@@ -806,12 +806,12 @@ class ATMT3(ATMT2):
raise self.MAIN(s+"da") raise self.MAIN(s+"da")
a=ATMT3(init="a", debug=2) a=ATMT3(init="a", debug=2, ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == 'cccccacabdacccacabdabda') assert( _ == 'cccccacabdacccacabdabda')
a.result a.result
assert( _ == 'cccccacabdacccacabdabda') assert( _ == 'cccccacabdacccacabdabda')
a=ATMT3(init="b") a=ATMT3(init="b", ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == 'cccccbdaccbdabdaccccbdaccbdabdab' ) assert( _ == 'cccccbdaccbdabdaccccbdaccbdabdab' )
...@@ -826,12 +826,12 @@ class ATMT4(ATMT3): ...@@ -826,12 +826,12 @@ class ATMT4(ATMT3):
def action_test(self, s): def action_test(self, s):
self.result = "e"+s+"e" self.result = "e"+s+"e"
a=ATMT4(init="a") a=ATMT4(init="a", ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == 'cccccacabdacccacabdabda') assert( _ == 'cccccacabdacccacabdabda')
a.result a.result
assert( _ == 'ecccccacabdacccacabdabdae') assert( _ == 'ecccccacabdacccacabdabdae')
a=ATMT4(init="b") a=ATMT4(init="b", ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == 'cccccbdaccbdabdaccccbdaccbdabdab' ) assert( _ == 'cccccbdaccbdabdaccccbdaccbdabdab' )
a.result a.result
...@@ -869,7 +869,7 @@ class ATMT5(Automaton): ...@@ -869,7 +869,7 @@ class ATMT5(Automaton):
def END(self): def END(self):
return self.res return self.res
a=ATMT5() a=ATMT5(ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == 'Jupiter' ) assert( _ == 'Jupiter' )
...@@ -905,7 +905,7 @@ class ATMT6(Automaton): ...@@ -905,7 +905,7 @@ class ATMT6(Automaton):
def END(self): def END(self):
return self.res return self.res
a=ATMT6() a=ATMT6(ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == 'Mercury' ) assert( _ == 'Mercury' )
...@@ -936,7 +936,7 @@ class ATMT7(Automaton): ...@@ -936,7 +936,7 @@ class ATMT7(Automaton):
self.res += "n" self.res += "n"
return self.res return self.res
a=ATMT7() a=ATMT7(ll=lambda: None, recvsock=lambda: None)
a.run(wait=False) a.run(wait=False)
a.io.tst.send("at") a.io.tst.send("at")
a.io.tst.recv() a.io.tst.recv()
...@@ -976,7 +976,7 @@ class ATMT8(Automaton): ...@@ -976,7 +976,7 @@ class ATMT8(Automaton):
r,w = os.pipe() r,w = os.pipe()
a=ATMT8(external_fd={"extfd":r}) a=ATMT8(external_fd={"extfd":r}, ll=lambda: None, recvsock=lambda: None)
a.run(wait=False) a.run(wait=False)
os.write(w,"ra") os.write(w,"ra")
os.write(w,"nu") os.write(w,"nu")
...@@ -1008,7 +1008,7 @@ class ATMT9(Automaton): ...@@ -1008,7 +1008,7 @@ class ATMT9(Automaton):
self.res += "s" self.res += "s"
return self.res return self.res
a=ATMT9(debug=5) a=ATMT9(debug=5, ll=lambda: None, recvsock=lambda: None)
a.run() a.run()
assert( _ == "VENUs" ) assert( _ == "VENUs" )
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment