waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add new uplc case to test, it is failing

This commit is contained in:
Turner 2022-06-19 22:33:24 -07:00 committed by Lucas
parent 5ba7349f4a
commit 787f345275
3 changed files with 85 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
crates/uplc/test_data/fibonacci/fibonacci.flat Normal file
View File

Binary file not shown.

77
crates/uplc/test_data/fibonacci/fibonacci.uplc Normal file
View File

@ -0,0 +1,77 @@
(program
1.0.0
[
(lam
i0
[
[
(force
(force
(delay
(delay
(lam
f
[
(force (delay (lam s [ s s ])))
(lam
s
(lam
x [ [ f [ (force (delay (lam s [ s s ]))) s ] ] x ]
)
)
]
)
)
)
)
)
(lam
rec
(lam
i
[
[
[
(force
(delay
(lam
b
(lam
x
(lam
y
[
[ [ [ (force (builtin ifThenElse)) b ] x ] y ]
(con unit ())
]
)
)
)
)
)
[ [ (builtin lessThanEqualsInteger) i ] (con integer 1) ]
]
(lam u i)
]
(lam
u
[
[
(builtin addInteger)
[
rec [ [ (builtin subtractInteger) i ] (con integer 1) ]
]
]
[ rec [ [ (builtin subtractInteger) i ] (con integer 2) ] ]
]
)
]
)
)
]
i0
]
)
(con integer 0)
]
)

8
crates/uplc/tests/integ_tests.rs
View File

@ -63,5 +63,13 @@ fn jpg() {
let bytes = include_bytes!("../test_data/jpg/jpg.flat");
let code = include_str!("../test_data/jpg/jpg.uplc");
round_trip_test(bytes, code);
}
#[test]
fn fibonacci() {
let bytes = include_bytes!("../test_data/fibonacci/fibonacci.flat");
let code = include_str!("../test_data/fibonacci/fibonacci.uplc");
round_trip_test(bytes, code);
}