Reuh/anselme
1
0
Fork 0
mirror of https://github.com/Reuh/anselme.git synced 2025-10-28 00:59:31 +00:00
Code Releases Activity

Second test batch and associated fixes

Browse source
This commit is contained in:
Étienne Fildadut 2023-12-29 17:15:43 +01:00
parent 7abb116876
commit 9b7d1e436e
56 changed files with 760 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

7
test/tests/constrained variable definition.ans Normal file
View file

@ -0,0 +1,7 @@
:weigh::($(x)x!type=="kg") = type(5, "kg")
|{weigh}
:not weigh::($(x)x!type=="kg") = 12
|{not weigh}