Skip to content

Commit

Permalink
Use test/3 dialect for all lgtunit tests for parametric test objects
Browse files Browse the repository at this point in the history
  • Loading branch information
pmoura committed Feb 18, 2018
1 parent 1094e9d commit df3dbe4
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions tools/lgtunit/tests_parametric.lgt
Expand Up @@ -28,19 +28,19 @@
comment is 'Unit tests for the "lgtunit" tool support for parametric tests.'
]).

test(parametric_01) :-
test(parametric_01, true, []) :-
parameter(1, Parameter),
Parameter == 1.

deterministic(parametric_02) :-
test(parametric_02, deterministic, []) :-
parameter(1, Parameter),
Parameter == 1.

test(parametric_03, true) :-
test(parametric_03, true, []) :-
parameter(1, Parameter),
Parameter == 1.

test(parametric_04, deterministic) :-
test(parametric_04, deterministic, []) :-
parameter(1, Parameter),
Parameter == 1.

Expand Down

0 comments on commit df3dbe4

Please sign in to comment.