Minor improvements - Githubissues

verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models

http://verivital.com/hyst/

Other

15 stars 18 forks source link

Closed MaxGaukler closed 5 years ago

MaxGaukler commented 5 years ago

To allow for repeatable execution of pysim and "random initial points", I changed it to use a constant seed value. Before, the seed was always random and there was no way to configure the seed. I assume nobody explicitly depends on the previous behavior.
The -output_vars option for SpaceEx now supports the value * to use all variables without explicitly listing them.

MaxGaukler commented 5 years ago

It would be great to have this merged, so that my ARCH19 code again works with the 'official' Hyst version.