Commit 3988d0f4 authored by Mathieu Hemery's avatar Mathieu Hemery
Browse files

Add a test to avoid working on empty model

parent 94a83157
......@@ -30,6 +30,7 @@ commands = [
"check_conservations",
"check_ctl",
"check_ltl",
"check_model",
"check_multistability",
"check_oscillations",
"cleanup_ctl",
......
......@@ -315,23 +315,29 @@ check_model :-
identifier_kind(ModelId, Molecule, object),
List_Molecule
),
reactions_with_species(List_Molecule, List_Reaction),
(
forall(
member(Reaction, List_Reaction),
test_wellformed(List_Molecule, Reaction)
)
->
format("The model is wellformed.~n", [])
;
format("The model is NOT wellformed.~n", [])
),
(
maplist(test_all_reactions(catalyst, test_strictness), List_Molecule)
List_Molecule = []
->
format("The model is strict.~n", [])
format("There is currently no model to work on!~n", [])
;
format("The model is NOT strict.~n", [])
reactions_with_species(List_Molecule, List_Reaction),
(
forall(
member(Reaction, List_Reaction),
test_wellformed(List_Molecule, Reaction)
)
->
format("The model is wellformed.~n", [])
;
format("The model is NOT wellformed.~n", [])
),
(
maplist(test_all_reactions(catalyst, test_strictness), List_Molecule)
->
format("The model is strict.~n", [])
;
format("The model is NOT strict.~n", [])
)
).
:- devdoc('\\section{Public API}').
......
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