Commit 0fdb63f9 authored by Michele's avatar Michele

modified tests for double set learning

parent 70f59417
......@@ -32,6 +32,14 @@ class TestLearningAlgorithm2:
self.I1.addTransition(4,'b',4)
self.I1.addTransition(4,'a',0)
# self.I1.addTransition(4,'x',0)
# self.I1.addTransition(1,'a',0)
# self.I1.addTransition(3,'b',1)
# self.I1.addTransition(3,'a',0)
# self.I1.addTransition(4,'b',2)
# self.I1.addTransition(2,'a',3)
# self.I1.addTransition(4,'y',0)
self.I1.makeInputEnabled()
self.T1 = InputOutputTeacher(self.I1)
......@@ -43,4 +51,6 @@ class TestLearningAlgorithm2:
def creation_test(self):
self._Hminus, self._Hplus = self.L1.run()
Hminus, Hplus = self.L1.run()
assert_equal(bi.bisimilar(self.I1,Hplus), True)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment