The last example in the README file

[havelund]

When I run the last example in the README file, I get this output:

a: [100.0, -1.0, -2.0]
b: [20.0, 2.0, 10.0]
c: 0.0
d: 0.0

That may require some explanation.

[nickovic]

This looks strange... I get, as expected:

a: [100.0, -1.0, -2.0]
b: [20.0, 2.0, 10.0]
c: [120.0, 1.0, 8.0]
d: [122.0, 3.0, 10.0]

[havelund]

The example on the website is the following (one has to add import of sys and rtamt and call the monitor method in a addition to make it run.

def monitor():
# data
dataset = {
'time': [0, 1, 2],
'a': [100.0, -1.0, -2.0],
'b': [20.0, 2.0, 10.0]
}

# # stl
spec = rtamt.StlDiscreteTimeSpecification()
spec.name = 'HandMadeMonitor'
spec.declare_var('a', 'float')
spec.declare_var('b', 'float')
spec.declare_var('c', 'float')
spec.declare_var('d', 'float')
spec.add_sub_spec('c = a + b')
spec.spec = 'd = c >= - 2'

try:
    spec.parse()
except rtamt.RTAMTException as err:
    print('RTAMT Exception: {}'.format(err))
    sys.exit()

spec.evaluate(dataset)
a = spec.get_value('a')
b = spec.get_value('b')
c = spec.get_value('c')
d = spec.get_value('d')

print('a: ' + str(a))
print('b: ' + str(b))
print('c: ' + str(c))
print('d: ' + str(d))

This yields on my computer the result:

a: [100.0, -1.0, -2.0]
b: [20.0, 2.0, 10.0]
c: 0.0
d: 0.0

I wonder whether this again is an example where the website example is different from a stored one.