search

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

Python Examples Fail to Run #675

Open mpophal2018 opened 2 years ago

mpophal2018 commented 2 years ago

When running Ariadne in a Docker container I can't run the python example 'hybrid_evolution_example.py', below is the console output when I try.

Traceback (most recent call last): File "hybrid_evolution_tutorial.py", line 299, in system = get_system() File "hybrid_evolution_tutorial.py", line 248, in get_system system = CompositeHybridAutomaton("watertank",[get_tank(),get_valve(),get_controller()]) File "hybrid_evolution_tutorial.py", line 28, in gettank alpha = RealConstant("alpha",dec(0.02)) NameError: name 'dec_' is not defined

akaph2p commented 2 months ago

Hi @mpophal2018 ,

Were you able to resolve this issue?

mpophal2018 commented 2 months ago

Hello @akaph2p,

I don't think I was able to resolve this, and I ended up needing something else for my purposes. We used KeYmaera X instead so sorry I can't be of more help.