macros.plt 294 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 12 13 14
  command(set_macro(a = 1, b = 2)),
  command(set_macro(b = 3)),
  all_items([model: current_model, kind: macro], Macros).

:- end_tests(macros).