wgpac.plt 165 Bytes
Newer Older
1 2 3 4 5
:- use_module(library(plunit)).

:- begin_tests(wgpac).

test('compile_wgpac') :-
SOLIMAN Sylvain's avatar
SOLIMAN Sylvain committed
6
  command(compile_wgpac((a :: integral integral (-1 * a)))).
7

8
:- end_tests(wgpac).