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

add acceptance test 17

This commit is contained in:
microproofs 2023-05-20 17:02:57 -04:00
parent dda8c4de7a
commit 6740107256
1 changed files with 50 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

50
crates/aiken-project/src/tests/gen_uplc.rs
View File

@ -1947,3 +1947,53 @@ fn acceptance_test_16_drop() {
false,
);
}
#[test]
fn acceptance_test_17_take() {
let src = r#"
use aiken/builtin
pub fn slice(bytes: ByteArray, start: Int, end: Int) -> ByteArray {
builtin.slice_bytearray(start, end, bytes)
}
pub fn take(bytes: ByteArray, n: Int) -> ByteArray {
slice(bytes, 0, n)
}
test take_1() {
take(#"010203", 2) == #"0102"
}
"#;
assert_uplc(
src,
Term::equals_bytestring()
.apply(
Term::var("take")
.lambda("take")
.apply(
Term::var("slice")
.apply(Term::var("bytes"))
.apply(Term::integer(0.into()))
.apply(Term::var("n"))
.lambda("n")
.lambda("bytes"),
)
.lambda("slice")
.apply(
Term::slice_bytearray()
.apply(Term::var("start"))
.apply(Term::var("end"))
.apply(Term::var("bytes"))
.lambda("end")
.lambda("start")
.lambda("bytes"),
)
.apply(Term::byte_string(vec![1, 2, 3]))
.apply(Term::integer(2.into())),
)
.apply(Term::byte_string(vec![1, 2])),
false,
);
}