aliases.plt 240 Bytes
Newer Older
1 2 3 4
:- use_module(library(plunit)).

:- begin_tests(aliases).

5
test('alias', [true(Reactions == [2 * a => c])]) :-
MARTINEZ Thierry 's avatar
MARTINEZ Thierry committed
6
  clear_model,
MARTINEZ Thierry 's avatar
MARTINEZ Thierry committed
7
  command(a + b => c),
MARTINEZ Thierry 's avatar
MARTINEZ Thierry committed
8
  command(alias(a = b)),
MARTINEZ Thierry 's avatar
MARTINEZ Thierry committed
9
  all_items([kind: reaction], Reactions).
10 11

:- end_tests(aliases).