nusmv.plt 236 Bytes
Newer Older
Thierry Martinez's avatar
NuSMV  
Thierry Martinez committed
1 2 3 4 5
:- use_module(library(plunit)).

:- begin_tests(nusmv).

test('nusmv') :-
Thierry Martinez's avatar
Thierry Martinez committed
6
  clear_model,
Thierry Martinez's avatar
Thierry Martinez committed
7 8
  add_reaction(a => b),
  add_reaction(a + b => c),
Thierry Martinez's avatar
NuSMV  
Thierry Martinez committed
9 10 11 12 13
  command(present(a)),
  command(absent(c)),
  export_nusmv('unittest').

:- end_tests(nusmv).