Refactor dynamics.py; fix message for rejected simulations

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.

https://scenic-lang.org/

Other

258 stars 93 forks source link

Refactor dynamics.py; fix message for rejected simulations #187

Closed dfremont closed 9 months ago

dfremont commented 9 months ago

Breaks dynamics.py into a package with several files; also fixes the crash that would happen with verbosity 2 and up when a simulation is rejected.