fix reset test bug.

nickovic · Mar 25, 2022 · 3806739 · 3806739
1 parent dd29b61
commit 3806739
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/tests/cpp/test_stl_reset_cpp.py b/tests/cpp/test_stl_reset_cpp.py
@@ -1,13 +1,13 @@
 import unittest
 
-from rtamt.spec.stl.discrete_time.specification import STLDiscreteTimeSpecification
+from rtamt.spec.stl.discrete_time.specification import StlDiscreteTimeOnlineSpecificationCpp
 
 class TestSTLReset(unittest.TestCase):
     def __init__(self, *args, **kwargs):
         super(TestSTLReset, self).__init__(*args, **kwargs)
 
     def test_constant(self):
-        spec = STLDiscreteTimeSpecification()
+        spec = StlDiscreteTimeOnlineSpecificationCpp()
         spec.declare_var('out', 'float')
         spec.spec = 'out = 5'
         spec.parse()
@@ -24,7 +24,7 @@ def test_constant(self):
         self.assertEqual(5, out, 'Constant reset assertion')
 
     def test_variable(self):
-        spec = STLDiscreteTimeSpecification()
+        spec = StlDiscreteTimeOnlineSpecificationCpp()
         spec.declare_var('req', 'float')
         spec.declare_var('out', 'float')
         spec.spec = 'out = req'
@@ -42,7 +42,7 @@ def test_variable(self):
         self.assertEqual(3.3, out, 'Variable reset assertion')
 
     def test_abs(self):
-        spec = STLDiscreteTimeSpecification()
+        spec = StlDiscreteTimeOnlineSpecificationCpp()
         spec.declare_var('req', 'float')
         spec.declare_var('out', 'float')
         spec.spec = 'out = abs(req)'
@@ -60,7 +60,7 @@ def test_abs(self):
         self.assertEqual(3.3, out, 'Abs reset assertion')
 
     def test_addition(self):
-        spec = STLDiscreteTimeSpecification()
+        spec = StlDiscreteTimeOnlineSpecificationCpp()
         spec.declare_var('req', 'float')
         spec.declare_var('gnt', 'float')
         spec.declare_var('out', 'float')
@@ -79,7 +79,7 @@ def test_addition(self):
         self.assertEqual(3.3 + 4.3, out, 'Addition reset assertion')
 
     def test_subtraction(self):
-        spec = STLDiscreteTimeSpecification()
+        spec = StlDiscreteTimeOnlineSpecificationCpp()
         spec.declare_var('req', 'float')
         spec.declare_var('gnt', 'float')
         spec.declare_var('out', 'float')