AdaCore / adareducer

GNU General Public License v3.0
13 stars 2 forks source link

support -X switches #37

Open setton opened 2 years ago

setton commented 2 years ago

In addition to the -P switch, we should support reading scenario variables from -X switches.

pmderodat commented 2 years ago

… and also support --target and --RTS in order to set the expected target and runtime when loading the project (they can be required to successfully load a project).