GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity

removed old test file

Browse Source
This commit is contained in:
Henry Blanchette 2022-09-02 16:54:48 -07:00
parent 701aab6fd6
commit cbf521f3c7
1 changed files with 0 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
tests/literal-sampling/Test1.cry
View File

@ -1,37 +0,0 @@
module Test1 where
f : {n} [n] -> Bit
f x = True
test : {n} (n < 10) => [n] -> Bit
test xs = True
test1 : {n} (n == 0) => [n] -> Bit
test1 _ = True
test2 : {n} (n >= 2) => [n] -> Bit
test2 _ = True
test3 : {n} (n <= 2) => [n] -> Bit
test3 _ = True
test4 : {n, m} (n == m + 2) => [n] -> [m] -> Bit
test4 _ _ = True
test5 : {n, m} (n == m + 2, n == 2*m) => [n] -> [m] -> Bit
test5 _ _ = True
test6 : {n, m} (m + n == 10) => [n] -> [m] -> Bit
test6 _ _ = True
test7 : {n, m, l} (m + n + l == 10) => [n] -> [m] -> [l] -> Bit
test7 _ _ _ = True
test8 : {n, m, l} (m + n + l == 10, m >= 2) => [n] -> [m] -> [l] -> Bit
test8 _ _ _ = True
test9 : {n} (n^^2 == 8) => [n] -> Bit
test9 _ = True
test10 : {n1, n2, n3} (n1 + n2 + n3 <= 10) => [n1] -> [n2] -> [n3] -> Bit
test10 _ _ _ = True