diff --git a/tests/cpp/test_stl_reset_cpp.py b/tests/cpp/test_stl_reset_cpp.py index f148529f..c9908b86 100755 --- 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')