After updating from version 2005 to 2008 I cannot use nested structures (e.g. A:{B}
) any more.
I would like to solve it myself, but unfortunately I don't have any experience with pybind11.
Python 3.8.5 (default, Jul 27 2020, 08:42:51)
[GCC 10.1.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> from reelay import dense_timed_monitor
>>> my_monitor = dense_timed_monitor( pattern="A::{B}", semantics="boolean", piecewise='constant')
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "/home/jcarrano/source/mtl-tests/env/lib/python3.8/site-packages/reelay/dense_timed_monitor.py", line 29, in __new__
return reelay.library.dense_monitor.make(pattern, options)
RuntimeError: std::bad_cast