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

Add tests for check_model_subfunctions

parent 462bb9ab
......@@ -754,6 +754,7 @@ always_positive(A / B) :-
always_negative(A),
always_negative(B).
always_positive(exp(_A)).
normalize_number(N, Norm) :-
(
......
......@@ -76,6 +76,7 @@ Coder: T. Martinez
parametrize_reaction/0,
test_wf_reactant/2,
test_wf_inhibitor/2,
test_wf_other/2,
test_strictness/2
]
).
......
......@@ -39,10 +39,25 @@ test(
list_model
).
test('test_wf_reactant', []):-
test('test_wf_reactant', []) :-
with_output_to(atom(_), (
test_wf_reactant(a, a*2),
\+(test_wf_reactant(m, -m))
test_wf_reactant(a, k*a^2),
test_wf_reactant(a, exp(a)*b),
\+(test_wf_reactant(m, -m)),
\+(test_wf_reactant(m, exp(-m)))
)).
test('test_wf_inhibitor', []) :-
with_output_to(atom(_), (
test_wf_inhibitor(a, b/(1+a)),
test_wf_inhibitor(a, b/(k+a)^2),
\+(test_wf_inhibitor(a, k*a*b))
)).
test('test_wf_other', []) :-
with_output_to(atom(_), (
test_wf_other(a, k*b*c),
\+(test_wf_other(a, k*b*c/exp(a)))
)).
test('test_strictness', []):-
......
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