st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-15 11:18:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

More Ostap tests

Browse source
This commit is contained in:
Dmitry Boulytchev 2020-01-31 01:57:28 +03:00
parent 4c031ce95f
commit 4ed4101ad9
2 changed files with 34 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
stdlib/regression/orig/test16.log Normal file
View file

@ -0,0 +1,6 @@
Succ (Eq ("a", "a"))
Succ (Eq ("b", "b"))
Succ (Eq (Mul ("a", "a"), Mul ("a", "a")))
Succ (Eq (Mul ("b", "b"), Mul ("b", "b")))
Succ (Eq (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a"))), Sub (Mul ("a", "a"), "a")))
Succ (Eq (Add (Mul ("b", "b"), Sub (Div ("b", "b"), Mul ("b", "b"))), Sub (Mul ("b", "b"), "b")))