Commit c70fe2dd authored by FAGES Francois's avatar FAGES Francois
Browse files

parameter index from 1, plus small modifications to C2-19 TDs

parent 6a701f1a
......@@ -198,7 +198,7 @@ clear_model :-
set_option(show, {}),
retractall(nusmv:query_molecules(_)),
nb_setval(molecule_index, 0),
nb_setval(parameter_index, 0),
nb_setval(parameter_index, 1),
assertz(nusmv:query_molecules([])).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment