diff --git a/tests/cpp/test_stl_sampling_time_units_cpp.py b/tests/cpp/test_stl_sampling_time_units_cpp.py index 4cc249cb..aff1d524 100755 --- a/tests/cpp/test_stl_sampling_time_units_cpp.py +++ b/tests/cpp/test_stl_sampling_time_units_cpp.py @@ -6,7 +6,7 @@ def __init__(self, *args, **kwargs): super(TestSTLSamplingTimeUnits, self).__init__(*args, **kwargs) def test_example(self): - spec = rtamt.STLDiscreteTimeSpecification(0) + spec = rtamt.StlDiscreteTimeOnlineSpecificationCpp() spec.name = 'STL Example specification' self.assertEqual(spec.name, 'STL Example specification', 'Spec name assertion') @@ -21,7 +21,7 @@ def test_example(self): self.assertEqual(spec.sampling_tolerance, 0.1, 'Spec sampling tolerance assertion') try: - spec.parse(); + spec.parse() computed = spec.update(0, [['req', 2.2], ['gnt', 1]]) self.assertEqual(2.2, computed, 'First computation')