small revision

nickovic · Mar 28, 2022 · 9a0ddb1 · 9a0ddb1
1 parent 8ad3610
commit 9a0ddb1
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/tests/python/api/test_stl_discrete_time_online_specification_cpp.py b/tests/python/api/test_stl_discrete_time_online_specification_cpp.py
@@ -198,7 +198,7 @@ def test_next_without_pastify(self):
 
         spec.parse()
 
-        self.assertRaises(rtamt.LTLNotImplementedException, spec.update, 0, [('req', self.left1)])
+        self.assertRaises(rtamt.STLNotImplementedException, spec.update, 0, [('req', self.left1)])
 
     def test_next_with_pastify(self):
         spec = rtamt.StlDiscreteTimeOnlineSpecificationCpp()
@@ -354,7 +354,7 @@ def test_eventually_without_pastify(self):
 
         spec.parse()
 
-        self.assertRaises(rtamt.LTLNotImplementedException, spec.update, 0, [('req', self.left1)])
+        self.assertRaises(rtamt.STLNotImplementedException, spec.update, 0, [('req', self.left1)])
 
     def test_eventually_with_pastify(self):
         spec = rtamt.StlDiscreteTimeOnlineSpecificationCpp()
@@ -436,7 +436,7 @@ def test_until_without_pastify(self):
 
         spec.parse()
 
-        self.assertRaises(rtamt.LTLNotImplementedException, spec.update, 0, [('req', self.left1), ('gnt', self.right1)])
+        self.assertRaises(rtamt.STLNotImplementedException, spec.update, 0, [('req', self.left1), ('gnt', self.right1)])
 
     def test_always_with_pastify(self):
         spec = rtamt.StlDiscreteTimeOnlineSpecificationCpp()
@@ -447,7 +447,7 @@ def test_always_with_pastify(self):
 
         spec.parse()
 
-        self.assertRaises(rtamt.LTLPastifyException, spec.pastify)
+        self.assertRaises(rtamt.STLPastifyException, spec.pastify)
 
     def test_eventually_0_1_without_pastify(self):
         spec = rtamt.StlDiscreteTimeOnlineSpecificationCpp()