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

:- begin_tests(wgpac).

test('compile_wgpac') :-
6
  compile_wgpac(a :: integral integral (-1 * a), 100).
7

8
:- end_tests(wgpac).