Commit 6f38fe0d authored by Mathieu Hemery's avatar Mathieu Hemery
Browse files

remove debug stuff

parent 649ed5a5
......@@ -1289,18 +1289,14 @@ is_wellformed(ModelId) :-
identifier_kind(ModelId, Molecule, object),
List_Molecule
),
writeln(List_Molecule),
maplist(check_reactant, List_Molecule),
maplist(check_inhibitor, List_Molecule).
check_reactant(Molecule) :-
writeln(Molecule),
reactions_with_reactant([Molecule], List_Reaction),
forall(member(Expr for _Reaction, List_Reaction),
(
writeln(Expr),
formal_derivation:derivate(Expr, Molecule, Derivative),
writeln(Derivative),
\+(arithmetic_rules:always_negative(Derivative))
)
).
......
Supports Markdown
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