small revision

nickovic · Mar 25, 2022 · 8875c89 · 8875c89
1 parent 3806739
commit 8875c89
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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')