These models should all work with the new implementation of Dash+.

Each model.dsh file is in a directory called 'model'.

Optionally, also present in that directory is a

model.opt file

which contains any additional options for that model (such as '-single').

Properties with commands are each in a file called

model-method-propname.ver

These properties are specific to the model checking method (tcmc, traces, electrum).

This python scripts translates all .dsh models present in the directory adding in any options present in model.opt for the method given (default method is traces).

(Note: -t is the default for run_all_models)

Checks .als models in model directories are satisfiable.

Creates .als files of all combinations of the model and properties in the combine_models directory.

Runs our dashcli on all .als files in combine_models directory and checks which commands do not meet "expectations".

make clean

If dir_name is not provided, it runs over all directories (except combined_files).