Skip to content

As/reorganize tests #385

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AbdallahS merged 20 commits into from
Aug 26, 2026
Merged

As/reorganize tests #385

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
912c80c
Add nary addition test
AbdallahS Aug 17, 2026
e34a219
Allow string comparisons in compile engine.
AbdallahS Aug 17, 2026
9a95905
move unit tests around and clean-up and organize bool unit tests
AbdallahS Aug 17, 2026
ebe2138
group negation tests into folder
AbdallahS Aug 17, 2026
88654ed
Fix test names
AbdallahS Aug 17, 2026
0e6e15c
clean up and reorganize string order tests
AbdallahS Aug 18, 2026
98e7992
Clean-up string length tests
AbdallahS Aug 18, 2026
630402c
Remove subsumed leqv lxor tests
AbdallahS Aug 18, 2026
a1ac517
clean up negation tests
AbdallahS Aug 18, 2026
25252eb
Clean up if tests
AbdallahS Aug 18, 2026
d9e7d1f
Clean-up default conditional operator tests
AbdallahS Aug 18, 2026
9cc594b
Clean up string concat tests
AbdallahS Aug 19, 2026
709d75d
clean up int add tests
AbdallahS Aug 20, 2026
a112b93
clean up int sub tests
AbdallahS Aug 20, 2026
af2440b
clean up int minus tests
AbdallahS Aug 20, 2026
cd6fe9b
clean up float mult tests
AbdallahS Aug 20, 2026
fe45beb
clean up int mult and pow as well as float abs mult pow sub tests
AbdallahS Aug 25, 2026
fb38ad9
clean up int abs tests
AbdallahS Aug 26, 2026
525bbe6
Clean up ceil and floor unit tests
AbdallahS Aug 26, 2026
e10c382
Formatting
AbdallahS Aug 26, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
1 change: 1 addition & 0 deletions src/constraint_handler/data/0_context/operator.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,7 @@ operator_declare((eq;neq),(float,(float,())),bool).
operator_declare_variadic((add;mult),bool,int,1).
operator_declare_variadic((add;mult),int,int,1).
operator_declare_variadic((add;mult),bool,int,1).
_operator_recoverable(mult).
operator_declare((sub;pow),(int,(int,())),int).
_operator_recoverable(pow).
operator_declare(int_div,((int;float),((int;float),())),int).
Expand Down
1 change: 1 addition & 0 deletions src/constraint_handler/data/0_context/types.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,3 +16,4 @@ _type_extensionalEquality(symbol).
%%%%%%%%%%%%%%%%% leq lt geq gt
_type_extensionalOrder(int).
_type_extensionalOrder(symbol).
_type_extensionalOrder(string).
2 changes: 1 addition & 1 deletion src/constraint_handler/data/6_solve/compile/equality.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
%%%%%%%%%%%%%%%%% generic eq neq
_computeIdxType(E,IDX,T) :- _computeIdx(E,IDX,val(T,_)).
_computeIdxType(E,IDX,T) :- _computeIdx(E,IDX,val(T,V)).

_computedIdx(E,val(bool,true)) :- _computeIdx(E,eq), _computeIdx(E,0,val(T,V)), _computeIdx(E,1,val(T,V)),
_type_extensionalEquality(T).
Expand Down
7 changes: 7 additions & 0 deletions tests/correctness/datatype/bool/conj_disj/bad.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
value(lt_bad,bad)
value(conj_bt,bad)
value(conj_tb,bad)
value(disj_bf,bad)
value(disj_fb,bad)
evaluated(conj,(val(bool,true),(bad,())),bad)
evaluated(disj,(val(bool,false),(bad,())),bad)
8 changes: 3 additions & 5 deletions ...orrectness/datatype/bool/conj_disj_bad.lp → ...orrectness/datatype/bool/conj_disj/bad.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,8 @@ variable_define(lt_bad,operation(lt,(variable(div_bad),(val(int,2),())))).

variable_define(conj_bt,operation(conj,(variable(lt_bad),(val(bool,true),())))).
variable_define(conj_tb,operation(conj,(val(bool,true),(variable(lt_bad),())))).
variable_define(conj_fb,operation(conj,(val(bool,false),(variable(lt_bad),())))).
variable_define(conj_bf,operation(conj,(variable(lt_bad),(val(bool,false),())))).

variable_define(disj_bf,operation(disj,(variable(lt_bad),(val(bool,false),())))).
variable_define(disj_fb,operation(disj,(val(bool,false),(variable(lt_bad),())))).
variable_define(disj_tb,operation(disj,(val(bool,true),(variable(lt_bad),())))).
variable_define(disj_bt,operation(disj,(variable(lt_bad),(val(bool,true),())))).

evaluate(conj,(val(bool,true),(bad,()))).
evaluate(disj,(val(bool,false),(bad,()))).
0 ...ness/datatype/bool/conj_disj.expected.all → ...atatype/bool/conj_disj/basic.expected.all
View file
Open in desktop
File renamed without changes.
2 changes: 1 addition & 1 deletion tests/correctness/datatype/bool/conj_disj.lp → ...rectness/datatype/bool/conj_disj/basic.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
%%% binary conjunction/disjunction without bad or none
%%% binary conjunction/disjunction without bad

variable_define(conj_tt,operation(conj,(val(bool,true),(val(bool,true),())))).
variable_define(conj_tf,operation(conj,(val(bool,true),(val(bool,false),())))).
Expand Down
2 changes: 1 addition & 1 deletion ...atatype/bool/conj_disj_mixed.expected.all → ...atatype/bool/conj_disj/mixed.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ evaluated(conj,(val(bool,true),(variable(lt_bad),(val(bool,false),(val(none,none
evaluated(conj,(val(bool,true),(val(none,none),(val(bool,true),()))),val(none,none))
evaluated(disj,(val(bool,false),(variable(lt_bad),(val(none,none),()))),bad)
evaluated(disj,(val(bool,false),(variable(lt_bad),(val(bool,true),(val(none,none),())))),val(bool,true))
evaluated(disj,(val(bool,false),(val(none,none),(val(bool,false),(val(none,none),())))),val(bool,false))
evaluated(disj,(val(bool,false),(val(none,none),(val(bool,false),(val(none,none),())))),val(none,none))
0 ...tatype/bool/conj_disj_mixed.expected.none → ...tatype/bool/conj_disj/mixed.expected.none
View file
Open in desktop
File renamed without changes.
0 ...rectness/datatype/bool/conj_disj_mixed.lp → ...rectness/datatype/bool/conj_disj/mixed.lp
View file
Open in desktop
File renamed without changes.
0 ...datatype/bool/conj_disj_none.expected.all → ...datatype/bool/conj_disj/none.expected.all
View file
Open in desktop
File renamed without changes.
10 changes: 10 additions & 0 deletions tests/correctness/datatype/bool/conj_disj/none.expected.any
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
evaluated(conj,(variable(x),(val(bool,true),())),val(bool,true))
evaluated(conj,(variable(x),(val(bool,true),())),val(bool,false))
evaluated(conj,(variable(x),(val(bool,true),())),val(none,none))
evaluated(conj,(variable(x),(val(none,none),())),val(bool,false))
evaluated(conj,(variable(x),(val(none,none),())),val(none,none))
evaluated(disj,(variable(x),(val(none,none),())),val(bool,true))
evaluated(disj,(variable(x),(val(none,none),())),val(none,none))
evaluated(disj,(variable(x),(val(bool,false),())),val(bool,true))
evaluated(disj,(variable(x),(val(bool,false),())),val(none,none))
evaluated(disj,(variable(x),(val(bool,false),())),val(bool,false))
0 ...atatype/bool/conj_disj_none.expected.none → ...atatype/bool/conj_disj/none.expected.none
View file
Open in desktop
File renamed without changes.
0 ...s/correctness/unit/bad_add.expected.stats → ...tatype/bool/conj_disj/none.expected.stats
View file
Open in desktop
File renamed without changes.
11 changes: 11 additions & 0 deletions ...rrectness/datatype/bool/conj_disj_none.lp → ...rrectness/datatype/bool/conj_disj/none.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
%%% binary conjunction/disjunction with none involved

phase_request(constantFolding,false).

evaluate(conj,(val(bool,false),(val(none,none),()))).
evaluate(conj,(val(none,none),(val(bool,false),()))).
evaluate(conj,(val(bool,true),(val(none,none),()))).
Expand All @@ -11,3 +13,12 @@ evaluate(disj,(val(none,none),(val(bool,false),()))).
evaluate(disj,(val(bool,true),(val(none,none),()))).
evaluate(disj,(val(none,none),(val(bool,true),()))).
evaluate(disj,(val(none,none),(val(none,none),()))).

variable_declare(x,fromFacts).
variable_domain(x,val(bool,true)).
variable_domain(x,val(bool,false)).
variable_domain(x,val(none,none)).
evaluate(conj,(variable(x),(val(bool,true),()))).
evaluate(conj,(variable(x),(val(none,none),()))).
evaluate(disj,(variable(x),(val(bool,false),()))).
evaluate(disj,(variable(x),(val(none,none),()))).
2 changes: 2 additions & 0 deletions tests/correctness/datatype/bool/conj_disj/variable.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
evaluated(conj,(variable(x),(val(bool,false),())),val(bool,false))
evaluated(disj,(variable(x),(val(bool,true),())),val(bool,true))
10 changes: 10 additions & 0 deletions tests/correctness/datatype/bool/conj_disj/variable.expected.any
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
evaluated(conj,(variable(x),(val(bool,true),())),val(bool,false))
evaluated(conj,(variable(x),(val(bool,true),())),val(bool,true))
evaluated(conj,(variable(x),(val(bool,true),())),bad)
evaluated(conj,(variable(x),(bad,())),val(bool,false))
evaluated(conj,(variable(x),(bad,())),bad)
evaluated(disj,(variable(x),(val(bool,false),())),val(bool,false))
evaluated(disj,(variable(x),(val(bool,false),())),val(bool,true))
evaluated(disj,(variable(x),(val(bool,false),())),bad)
evaluated(disj,(variable(x),(bad,())),val(bool,true))
evaluated(disj,(variable(x),(bad,())),bad)
0 ...orrectness/unit/bad_concat.expected.stats → ...pe/bool/conj_disj/variable.expected.stats
View file
Open in desktop
File renamed without changes.
12 changes: 12 additions & 0 deletions tests/correctness/datatype/bool/conj_disj/variable.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
phase_request(constantFolding,false).

variable_declare(x,fromFacts).
variable_domain(x,val(bool,false)).
variable_domain(x,val(bool,true)).
variable_domain(x,bad).
evaluate(conj,(variable(x),(val(bool,false),()))).
evaluate(conj,(variable(x),(val(bool,true),()))).
evaluate(conj,(variable(x),(bad,()))).
evaluate(disj,(variable(x),(val(bool,false),()))).
evaluate(disj,(variable(x),(val(bool,true),()))).
evaluate(disj,(variable(x),(bad,()))).
0 ...type/bool/conj_disj_variadic.expected.all → ...type/bool/conj_disj/variadic.expected.all
View file
Open in desktop
File renamed without changes.
0 ...tness/datatype/bool/conj_disj_variadic.lp → ...tness/datatype/bool/conj_disj/variadic.lp
View file
Open in desktop
File renamed without changes.
9 changes: 0 additions & 9 deletions tests/correctness/datatype/bool/conj_disj_bad.expected.all
View file
Open in desktop

This file was deleted.

8 changes: 8 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/bad.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
evaluated(leqv,(val(bool,true),(bad,())),bad)
evaluated(leqv,(val(bool,false),(bad,())),bad)
evaluated(leqv,(bad,(bad,())),bad)
evaluated(leqv,(bad,()),bad)
evaluated(lxor,(val(bool,true),(bad,())),bad)
evaluated(lxor,(val(bool,false),(bad,())),bad)
evaluated(lxor,(bad,(bad,())),bad)
evaluated(lxor,(bad,()),bad)
10 changes: 10 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/bad.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
phase_request(constantFolding,false).

evaluate(leqv,(val(bool,true),(bad,()))).
evaluate(leqv,(val(bool,false),(bad,()))).
evaluate(leqv,(bad,(bad,()))).
evaluate(leqv,(bad,())).
evaluate(lxor,(val(bool,true),(bad,()))).
evaluate(lxor,(val(bool,false),(bad,()))).
evaluate(lxor,(bad,(bad,()))).
evaluate(lxor,(bad,())).
4 changes: 4 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/leqv_basic.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
evaluated(leqv,(val(bool,true),(val(bool,true),())),val(bool,true))
evaluated(leqv,(val(bool,true),(val(bool,false),())),val(bool,false))
evaluated(leqv,(val(bool,false),(val(bool,true),())),val(bool,false))
evaluated(leqv,(val(bool,false),(val(bool,false),())),val(bool,true))
8 changes: 8 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/leqv_basic.expected.none
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
evaluated(leqv,(val(bool,true),(val(bool,true),())),val(bool,false))
evaluated(leqv,(val(bool,true),(val(bool,true),())),bad)
evaluated(leqv,(val(bool,false),(val(bool,true),())),val(bool,true))
evaluated(leqv,(val(bool,false),(val(bool,true),())),bad)
evaluated(leqv,(val(bool,true),(val(bool,false),())),val(bool,true))
evaluated(leqv,(val(bool,true),(val(bool,false),())),bad)
evaluated(leqv,(val(bool,false),(val(bool,false),())),val(bool,false))
evaluated(leqv,(val(bool,false),(val(bool,false),())),bad)
0 .../unit/nullary/boolean_conj.expected.stats → .../bool/leqv_lxor/leqv_basic.expected.stats
View file
Open in desktop
File renamed without changes.
4 changes: 4 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/leqv_basic.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
evaluate(leqv,(val(bool,true),(val(bool,true),()))).
evaluate(leqv,(val(bool,true),(val(bool,false),()))).
evaluate(leqv,(val(bool,false),(val(bool,true),()))).
evaluate(leqv,(val(bool,false),(val(bool,false),()))).
4 changes: 4 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/lxor_basic.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
evaluated(lxor,(val(bool,false),(val(bool,false),())),val(bool,false))
evaluated(lxor,(val(bool,false),(val(bool,true),())),val(bool,true))
evaluated(lxor,(val(bool,true),(val(bool,false),())),val(bool,true))
evaluated(lxor,(val(bool,true),(val(bool,true),())),val(bool,false))
9 changes: 9 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/lxor_basic.expected.none
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
evaluated(lxor,(val(bool,false),(val(bool,false),())),val(bool,true))
evaluated(lxor,(val(bool,false),(val(bool,true),())),val(bool,false))
evaluated(lxor,(val(bool,true),(val(bool,false),())),val(bool,false))
evaluated(lxor,(val(bool,true),(val(bool,true),())),val(bool,true))

evaluated(lxor,(val(bool,false),(val(bool,false),())),bad)
evaluated(lxor,(val(bool,false),(val(bool,true),())),bad)
evaluated(lxor,(val(bool,true),(val(bool,false),())),bad)
evaluated(lxor,(val(bool,true),(val(bool,true),())),bad)
0 .../unit/nullary/boolean_disj.expected.stats → .../bool/leqv_lxor/lxor_basic.expected.stats
View file
Open in desktop
File renamed without changes.
4 changes: 4 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/lxor_basic.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
evaluate(lxor,(val(bool,false),(val(bool,false),()))).
evaluate(lxor,(val(bool,false),(val(bool,true),()))).
evaluate(lxor,(val(bool,true),(val(bool,false),()))).
evaluate(lxor,(val(bool,true),(val(bool,true),()))).
14 changes: 14 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/none.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
evaluated(leqv,(val(bool,true),(val(none,none),())),bad)
evaluated(leqv,(val(bool,false),(val(none,none),())),bad)
evaluated(leqv,(val(none,none),(val(bool,true),())),bad)
evaluated(leqv,(val(none,none),(val(bool,false),())),bad)
evaluated(leqv,(val(none,none),(val(none,none),())),bad)
evaluated(lxor,(val(bool,true),(val(none,none),())),bad)
evaluated(lxor,(val(bool,false),(val(none,none),())),bad)
evaluated(lxor,(val(none,none),(val(bool,true),())),bad)
evaluated(lxor,(val(none,none),(val(bool,false),())),bad)
evaluated(lxor,(val(none,none),(val(none,none),())),bad)
evaluated(leqv,(val(none,none),()),bad)
evaluated(lxor,(val(none,none),()),bad)
evaluated(leqv,(val(none,none),(variable(x),())),bad)
evaluated(lxor,(val(none,none),(variable(x),())),bad)
0 ...ectness/unit/bad_float_div.expected.stats → ...tatype/bool/leqv_lxor/none.expected.stats
View file
Open in desktop
File renamed without changes.
22 changes: 22 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/none.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
phase_request(constantFolding,false).

evaluate(leqv,(val(bool,true),(val(none,none),()))).
evaluate(leqv,(val(bool,false),(val(none,none),()))).
evaluate(leqv,(val(none,none),(val(bool,true),()))).
evaluate(leqv,(val(none,none),(val(bool,false),()))).
evaluate(leqv,(val(none,none),(val(none,none),()))).
evaluate(lxor,(val(bool,true),(val(none,none),()))).
evaluate(lxor,(val(bool,false),(val(none,none),()))).
evaluate(lxor,(val(none,none),(val(bool,true),()))).
evaluate(lxor,(val(none,none),(val(bool,false),()))).
evaluate(lxor,(val(none,none),(val(none,none),()))).

evaluate(leqv,(val(none,none),())).
evaluate(lxor,(val(none,none),())).

variable_declare(x,fromFacts).
variable_domain(x,val(bool,true)).
variable_domain(x,val(bool,false)).
variable_domain(x,val(none,none)).
evaluate(leqv,(val(none,none),(variable(x),()))).
evaluate(lxor,(val(none,none),(variable(x),()))).
14 changes: 14 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/variable.expected.any
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
evaluated(leqv,(variable(x),(val(bool,false),())),val(bool,false))
evaluated(leqv,(variable(x),(val(bool,false),())),val(bool,true))
evaluated(leqv,(variable(x),(val(bool,false),())),bad)
evaluated(leqv,(variable(x),(val(bool,true),())),val(bool,false))
evaluated(leqv,(variable(x),(val(bool,true),())),val(bool,true))
evaluated(leqv,(variable(x),(val(bool,true),())),bad)
evaluated(leqv,(variable(x),(bad,())),bad)
evaluated(lxor,(variable(x),(val(bool,false),())),val(bool,false))
evaluated(lxor,(variable(x),(val(bool,false),())),val(bool,true))
evaluated(lxor,(variable(x),(val(bool,false),())),bad)
evaluated(lxor,(variable(x),(val(bool,true),())),val(bool,false))
evaluated(lxor,(variable(x),(val(bool,true),())),val(bool,true))
evaluated(lxor,(variable(x),(val(bool,true),())),bad)
evaluated(lxor,(variable(x),(bad,())),bad)
0 ...rrectness/unit/bad_int_div.expected.stats → ...pe/bool/leqv_lxor/variable.expected.stats
View file
Open in desktop
File renamed without changes.
11 changes: 5 additions & 6 deletions tests/correctness/unit/bad_lxor.lp → ...tness/datatype/bool/leqv_lxor/variable.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,13 @@
phase_request(constantFolding,false).

evaluate(lxor,(val(bool,false),(val(none,none),()))).
evaluate(lxor,(val(bool,true),(val(bool,false),()))).
evaluate(lxor,(val(bool,true),(bad,()))).

variable_declare(x,fromFacts).
variable_domain(x,val(bool,false)).
variable_domain(x,val(bool,true)).
variable_domain(x,val(none,none)).
variable_domain(x,bad).

evaluate(leqv,(variable(x),(val(bool,false),()))).
evaluate(leqv,(variable(x),(val(bool,true),()))).
evaluate(leqv,(variable(x),(bad,()))).
evaluate(lxor,(variable(x),(val(bool,false),()))).
evaluate(lxor,(variable(x),(val(none,none),()))).
evaluate(lxor,(variable(x),(val(bool,true),()))).
evaluate(lxor,(variable(x),(bad,()))).
12 changes: 12 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/variadic.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
evaluated(leqv,(),val(bool,true))
evaluated(leqv,(val(bool,true),()),val(bool,true))
evaluated(leqv,(val(bool,false),()),val(bool,false))
evaluated(leqv,(val(bool,true),(val(bool,true),(val(bool,true),()))),val(bool,true))
evaluated(leqv,(val(bool,true),(val(bool,false),(val(bool,true),()))),val(bool,false))
evaluated(leqv,(val(bool,false),(val(bool,false),(val(bool,false),()))),val(bool,false))
evaluated(lxor,(),val(bool,false))
evaluated(lxor,(val(bool,true),()),val(bool,true))
evaluated(lxor,(val(bool,false),()),val(bool,false))
evaluated(lxor,(val(bool,true),(val(bool,true),(val(bool,true),()))),val(bool,true))
evaluated(lxor,(val(bool,true),(val(bool,false),(val(bool,true),()))),val(bool,false))
evaluated(lxor,(val(bool,false),(val(bool,false),(val(bool,false),()))),val(bool,false))
13 changes: 13 additions & 0 deletions tests/correctness/datatype/bool/leqv_lxor/variadic.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
evaluate(leqv,()).
evaluate(leqv,(val(bool,true),())).
evaluate(leqv,(val(bool,false),())).
evaluate(leqv,(val(bool,true),(val(bool,true),(val(bool,true),())))).
evaluate(leqv,(val(bool,true),(val(bool,false),(val(bool,true),())))).
evaluate(leqv,(val(bool,false),(val(bool,false),(val(bool,false),())))).

evaluate(lxor,()).
evaluate(lxor,(val(bool,true),())).
evaluate(lxor,(val(bool,false),())).
evaluate(lxor,(val(bool,true),(val(bool,true),(val(bool,true),())))).
evaluate(lxor,(val(bool,true),(val(bool,false),(val(bool,true),())))).
evaluate(lxor,(val(bool,false),(val(bool,false),(val(bool,false),())))).
0 ...pe/bool/negation_logical_bad.expected.all → ...pe/bool/negation/logical_bad.expected.all
View file
Open in desktop
File renamed without changes.
0 ...ess/datatype/bool/negation_logical_bad.lp → ...ess/datatype/bool/negation/logical_bad.lp
View file
Open in desktop
File renamed without changes.
0 .../bool/negation_logical_basic.expected.all → .../bool/negation/logical_basic.expected.all
View file
Open in desktop
File renamed without changes.
0 ...s/datatype/bool/negation_logical_basic.lp → ...s/datatype/bool/negation/logical_basic.lp
View file
Open in desktop
File renamed without changes.
0 ...e/bool/negation_logical_none.expected.all → ...e/bool/negation/logical_none.expected.all
View file
Open in desktop
File renamed without changes.
0 ...ss/datatype/bool/negation_logical_none.lp → ...ss/datatype/bool/negation/logical_none.lp
View file
Open in desktop
File renamed without changes.
0 ...ype/bool/negation_strong_bad.expected.all → ...ype/bool/negation/strong_bad.expected.all
View file
Open in desktop
File renamed without changes.
0 ...ness/datatype/bool/negation_strong_bad.lp → ...ness/datatype/bool/negation/strong_bad.lp
View file
Open in desktop
File renamed without changes.
0 ...e/bool/negation_strong_basic.expected.all → ...e/bool/negation/strong_basic.expected.all
View file
Open in desktop
File renamed without changes.
0 ...ss/datatype/bool/negation_strong_basic.lp → ...ss/datatype/bool/negation/strong_basic.lp
View file
Open in desktop
File renamed without changes.
0 ...pe/bool/negation_strong_none.expected.all → ...pe/bool/negation/strong_none.expected.all
View file
Open in desktop
File renamed without changes.
0 ...ess/datatype/bool/negation_strong_none.lp → ...ess/datatype/bool/negation/strong_none.lp
View file
Open in desktop
File renamed without changes.
2 changes: 2 additions & 0 deletions tests/correctness/datatype/bool/negation/variable.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
evaluated(wnot,(variable(y),()),val(bool,true))
evaluated(snot,(variable(z),()),val(bool,false))
23 changes: 23 additions & 0 deletions tests/correctness/datatype/bool/negation/variable.expected.any
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
evaluated(lnot,(variable(x),()),val(bool,true))
evaluated(lnot,(variable(x),()),val(bool,false))
evaluated(lnot,(variable(y),()),val(bool,true))
evaluated(lnot,(variable(y),()),val(none,none))
evaluated(lnot,(variable(z),()),val(bool,false))
evaluated(lnot,(variable(z),()),val(none,none))
evaluated(lnot,(variable(t),()),val(bool,true))
evaluated(lnot,(variable(t),()),val(bool,false))
evaluated(lnot,(variable(t),()),val(none,none))

evaluated(snot,(variable(x),()),val(bool,true))
evaluated(snot,(variable(x),()),val(bool,false))
evaluated(snot,(variable(y),()),val(bool,false))
evaluated(snot,(variable(y),()),val(bool,true))
evaluated(snot,(variable(t),()),val(bool,true))
evaluated(snot,(variable(t),()),val(bool,false))

evaluated(wnot,(variable(x),()),val(bool,true))
evaluated(wnot,(variable(x),()),val(bool,false))
evaluated(wnot,(variable(z),()),val(bool,true))
evaluated(wnot,(variable(z),()),val(bool,false))
evaluated(wnot,(variable(t),()),val(bool,true))
evaluated(wnot,(variable(t),()),val(bool,false))
25 changes: 25 additions & 0 deletions tests/correctness/datatype/bool/negation/variable.expected.none
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
evaluated(lnot,(variable(x),()),val(none,none))
evaluated(lnot,(variable(x),()),bad)
evaluated(lnot,(variable(y),()),val(bool,false))
evaluated(lnot,(variable(y),()),bad)
evaluated(lnot,(variable(z),()),val(bool,true))
evaluated(lnot,(variable(z),()),bad)
evaluated(lnot,(variable(t),()),bad)

evaluated(snot,(variable(x),()),bad)
evaluated(snot,(variable(y),()),bad)
evaluated(snot,(variable(z),()),bad)
evaluated(snot,(variable(t),()),bad)
evaluated(wnot,(variable(x),()),bad)
evaluated(wnot,(variable(y),()),bad)
evaluated(wnot,(variable(z),()),bad)
evaluated(wnot,(variable(t),()),bad)

evaluated(snot,(variable(x),()),val(none,none))
evaluated(snot,(variable(y),()),val(none,none))
evaluated(snot,(variable(z),()),val(none,none))
evaluated(snot,(variable(t),()),val(none,none))
evaluated(wnot,(variable(x),()),val(none,none))
evaluated(wnot,(variable(y),()),val(none,none))
evaluated(wnot,(variable(z),()),val(none,none))
evaluated(wnot,(variable(t),()),val(none,none))
1 change: 1 addition & 0 deletions tests/correctness/datatype/bool/negation/variable.expected.stats
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
models=24
25 changes: 25 additions & 0 deletions tests/correctness/datatype/bool/negation/variable.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
variable_declare(x,fromFacts).
variable_domain(x,val(bool,false)).
variable_domain(x,val(bool,true)).
variable_declare(y,fromFacts).
variable_domain(y,val(bool,false)).
variable_domain(y,val(none,none)).
variable_declare(z,fromFacts).
variable_domain(z,val(bool,true)).
variable_domain(z,val(none,none)).
variable_declare(t,fromFacts).
variable_domain(t,val(bool,false)).
variable_domain(t,val(bool,true)).
variable_domain(t,val(none,none)).
evaluate(lnot,(variable(x),())).
evaluate(lnot,(variable(y),())).
evaluate(lnot,(variable(z),())).
evaluate(lnot,(variable(t),())).
evaluate(snot,(variable(x),())).
evaluate(snot,(variable(y),())).
evaluate(snot,(variable(z),())).
evaluate(snot,(variable(t),())).
evaluate(wnot,(variable(x),())).
evaluate(wnot,(variable(y),())).
evaluate(wnot,(variable(z),())).
evaluate(wnot,(variable(t),())).
0 ...atype/bool/negation_weak_bad.expected.all → ...atype/bool/negation/weak_bad.expected.all
View file
Open in desktop
File renamed without changes.
0 ...ctness/datatype/bool/negation_weak_bad.lp → ...ctness/datatype/bool/negation/weak_bad.lp
View file
Open in desktop
File renamed without changes.
0 ...ype/bool/negation_weak_basic.expected.all → ...ype/bool/negation/weak_basic.expected.all
View file
Open in desktop
File renamed without changes.
0 ...ness/datatype/bool/negation_weak_basic.lp → ...ness/datatype/bool/negation/weak_basic.lp
View file
Open in desktop
File renamed without changes.
0 ...type/bool/negation_weak_none.expected.all → ...type/bool/negation/weak_none.expected.all
View file
Open in desktop
File renamed without changes.
0 ...tness/datatype/bool/negation_weak_none.lp → ...tness/datatype/bool/negation/weak_none.lp
View file
Open in desktop
File renamed without changes.
3 changes: 3 additions & 0 deletions tests/correctness/datatype/conditional/if/bad.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
evaluated(if,(val(bool,true),(bad,())),bad)
evaluated(if,(bad,(val(int,1),())),bad)
evaluated(if,(bad,(bad,())),bad)
4 changes: 4 additions & 0 deletions tests/correctness/datatype/conditional/if/bad.expected.none
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
evaluated(if,(val(bool,true),(bad,())),val(int,1))
evaluated(if,(val(bool,true),(bad,())),val(none,none))
evaluated(if,(bad,(val(int,1),())),val(int,1))
evaluated(if,(bad,(val(int,1),())),val(none,none))
0 .../unit/nullary/boolean_leqv.expected.stats → ...atatype/conditional/if/bad.expected.stats
View file
Open in desktop
File renamed without changes.
3 changes: 3 additions & 0 deletions tests/correctness/datatype/conditional/if/bad.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
evaluate(if,(val(bool,true),(bad,()))).
evaluate(if,(bad,(val(int,1),()))).
evaluate(if,(bad,(bad,()))).
3 changes: 0 additions & 3 deletions .../correctness/unit/boolean_if.expected.all → ...atatype/conditional/if/basic.expected.all
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,3 @@
evaluated(if,(val(bool,true),(val(int,1),())),val(int,1))
evaluated(if,(val(bool,true),(bad,())),bad)
evaluated(if,(val(bool,false),(val(int,1),())),val(none,none))
evaluated(if,(val(bool,false),(bad,())),val(none,none))
evaluated(if,(val(none,none),(val(int,1),())),val(none,none))
evaluated(if,(bad,(val(int,1),())),bad)
12 changes: 12 additions & 0 deletions tests/correctness/datatype/conditional/if/basic.expected.none
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
evaluated(if,(val(bool,true),(val(int,1),())),val(none,none))
evaluated(if,(val(bool,true),(val(int,1),())),bad)
evaluated(if,(val(bool,true),(val(int,1),())),val(bool,true))
evaluated(if,(val(bool,true),(val(int,1),())),val(bool,false))
evaluated(if,(val(bool,false),(val(int,1),())),val(int,1))
evaluated(if,(val(bool,false),(val(int,1),())),bad)
evaluated(if,(val(bool,false),(val(int,1),())),val(bool,true))
evaluated(if,(val(bool,false),(val(int,1),())),val(bool,false))
evaluated(if,(val(none,none),(val(int,1),())),val(int,1))
evaluated(if,(val(none,none),(val(int,1),())),bad)
evaluated(if,(val(none,none),(val(int,1),())),val(bool,true))
evaluated(if,(val(none,none),(val(int,1),())),val(bool,false))
0 .../unit/nullary/boolean_lxor.expected.stats → ...atype/conditional/if/basic.expected.stats
View file
Open in desktop
File renamed without changes.
3 changes: 3 additions & 0 deletions tests/correctness/datatype/conditional/if/basic.lp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
evaluate(if,(val(bool,true),(val(int,1),()))).
evaluate(if,(val(bool,false),(val(int,1),()))).
evaluate(if,(val(none,none),(val(int,1),()))).
Loading