Commit 7768e286 authored by HEMERY Mathieu's avatar HEMERY Mathieu
Browse files

Merge branch 'develop' of https://gitlab.inria.fr/lifeware/biocham into develop

parents 2ebcdbe7 3d400942
:- use_module(library(plunit)).
:- begin_tests(aliases).
:- begin_tests(aliases, [setup((clear_model, reset_options))]).
test('alias', [true(Reactions == ['MA'(1) for 2 * a => c])]) :-
clear_model,
......
:- use_module(library(plunit)).
:- begin_tests(arithmetic_rules).
:- begin_tests(arithmetic_rules, [setup((clear_model, reset_options))]).
test('distribute', [true(Out == a * a + a * b + c)]) :-
distribute(a * (a + b) + c, Out).
......
......@@ -106,6 +106,7 @@ initialize :-
command(Command)
)
),
store_default_options,
new_model,
assertz(initialized).
......@@ -152,4 +153,3 @@ biocham_command(_) :-
The additional arguments are given as a list in the last parameter.').
:-devcom('\\begin{todo}Make biocham commands functional. We need to know the result type for the gui... Furthermore, the show, list, enumerate,... commands are not so nice. The print result should be a text or a widget associated to the returned type.\\end{todo}').
:- use_module(library(plunit)).
:- begin_tests(biocham).
:- begin_tests(biocham, [setup((clear_model, reset_options))]).
test('initialize') :-
initialize.
......
:- use_module(library(plunit)).
:- use_module(reaction_rules).
:- begin_tests(conservation_laws).
:- begin_tests(conservation_laws, [setup((clear_model, reset_options))]).
test(
......
......@@ -2,7 +2,8 @@
:- use_module(foltl).
:- use_module(objects).
:- begin_tests(foltl, [condition(flag(slow_test, true, true))]).
:- begin_tests(foltl, [condition(flag(slow_test, true, true)),
setup((clear_model, reset_options))]).
test('validity_domain F', [true(Domain == (v >= 10))]) :-
clear_model,
......
:- use_module(library(plunit)).
:- begin_tests(formal_derivation).
:- begin_tests(formal_derivation, [setup((clear_model, reset_options))]).
test('dx/dt(x) = 1', [true(E == 1)]) :-
derivate(x, x, E).
......
:- use_module(library(plunit)).
:- begin_tests(functions).
:- begin_tests(functions, [setup((clear_model, reset_options))]).
test(
'function',
......
......@@ -2,7 +2,7 @@
:- use_module(gpac).
:- begin_tests(gpac).
:- begin_tests(gpac, [setup((clear_model, reset_options))]).
%%% Test for format_pivp %%%
......
:- use_module(library(plunit)).
:- begin_tests(graph_editor).
:- begin_tests(graph_editor, [setup((clear_model, reset_options))]).
test('new_graph', [true(Graphs == [new_graph])]) :-
......
:- use_module(library(plunit)).
:- begin_tests(gsl, [condition(flag(slow_test, true, true))]).
:- begin_tests(gsl, [condition(flag(slow_test, true, true)),
setup((clear_model, reset_options))]).
test('van_der_pol') :-
Options = [
......
......@@ -2,7 +2,7 @@
example_reactions([[[1*gen],[1*tem],c1*'gen_stoch'],[[1*tem],[],c2*('tem_total'/(100*1))],[[1*tem],[1*tem,1*gen],c3*('tem_total'/(100*1))],[[1*gen,1*struc],[1*virus],c4*('gen_stoch'*('struc_total'/(100*1)))]]).
:- begin_tests(hybrid).
:- begin_tests(hybrid, [setup((clear_model, reset_options))]).
test(build_constraints_list) :-
hybrid:build_constraints_list([[a],[0],[b,c]], [lower_level1, '0', lower_level3]).
......
:- use_module(library(plunit)).
:- begin_tests(influence_editor).
:- begin_tests(influence_editor, [setup((clear_model, reset_options))]).
test(
......
:- use_module(library(plunit)).
:- begin_tests(stable).
:- begin_tests(stable, [setup((clear_model, reset_options))]).
test(
'list_bernot_stable',
......
:- use_module(library(plunit)).
:- begin_tests(initial_state).
:- begin_tests(initial_state, [setup((clear_model, reset_options))]).
test(
'present',
......
......@@ -26,7 +26,7 @@ example(5,PIVP) :-
(0,(d(y)/dt = x - y) )
).
:- begin_tests(lazy_negation).
:- begin_tests(lazy_negation, [setup((clear_model, reset_options))]).
test(detect_negative_variables) :-
example(1,P1), ln:detect_negative_variables(P1,[z,y]),
......
......@@ -16,7 +16,7 @@ example_lng(4,PIVP) :-
example_lng(5,PIVP) :-
PIVP = [2,[ [[1,[0,0]],[-1,[2,0]]] , [[1,[1,0]],[-1,[0,1]]] ],[1,0]].
:- begin_tests(lazy_negation_gpac).
:- begin_tests(lazy_negation_gpac, [setup((clear_model, reset_options))]).
test(rewrite_pivp) :-
example_lng(2,PIVP_2),
......
......@@ -11,7 +11,7 @@ check_error([R|TR], [T|TT], Epsilon) :-
check_error(TR, TT, Epsilon).
:- begin_tests(matrix).
:- begin_tests(matrix, [setup((clear_model, reset_options))]).
test(ludcmp_matrix_22) :-
matrix:ludcmp_matrix([[-5,-4],[1,8]],X),
......
:- use_module(library(plunit)).
:- begin_tests(models).
:- begin_tests(models, [setup((clear_model, reset_options))]).
test('new_model', [Reactions == []]) :-
......
:- use_module(library(plunit)).
:- begin_tests(molecules).
:- begin_tests(molecules, [setup((clear_model, reset_options))]).
test(
......
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