The first example

[havelund]

In the first example all results are printed out as belonging to time 0:

rob = spec.update(0, [('a', 100.0), ('b', 20.0)])
print('time=' + str(0) + ' rob=' + str(rob)) <------ HERE

rob = spec.update(1, [('a', -1.0), ('b', 2.0)])
print('time=' + str(0) + ' rob=' + str(rob)) <------ HERE

rob = spec.update(2, [('a', -2.0), ('b', -10.0)])
print('time=' + str(0) + ' rob=' + str(rob)) <------ HERE

[nickovic]

Fixed in new master branch.

[havelund]

So what about this website: https://github.com/nickovic/rtamt?