macros.plt 272 Bytes
Newer Older
Thierry Martinez's avatar
Thierry Martinez committed
1 2 3 4 5 6 7 8
:- use_module(library(plunit)).

:- begin_tests(macros).

test(
  'set_macro',
  [true(Macros == [macro(a = 1), macro(b = 3)])]
) :-
Thierry Martinez's avatar
Thierry Martinez committed
9
  clear_model,
Thierry Martinez's avatar
Thierry Martinez committed
10 11
  command(set_macro(a = 1, b = 2)),
  command(set_macro(b = 3)),
Thierry Martinez's avatar
Thierry Martinez committed
12
  all_items([kind: macro], Macros).
Thierry Martinez's avatar
Thierry Martinez committed
13 14

:- end_tests(macros).