From adf34e9dc63b38bc6dda7668ee0f4e778839488f Mon Sep 17 00:00:00 2001 From: KtorZ Date: Tue, 13 Dec 2022 14:39:36 +0100 Subject: [PATCH] Add new acceptance test scenario (008) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ``` Error: × Main thread panicked. ├─▶ at crates/lang/src/uplc.rs:530:41 ╰─▶ not yet implemented help: set the `RUST_BACKTRACE=1` environment variable to display a backtrace. ``` --- examples/acceptance_tests/008/aiken.toml | 2 ++ examples/acceptance_tests/008/lib/test.ak | 21 +++++++++++++++++++++ 2 files changed, 23 insertions(+) create mode 100644 examples/acceptance_tests/008/aiken.toml create mode 100644 examples/acceptance_tests/008/lib/test.ak diff --git a/examples/acceptance_tests/008/aiken.toml b/examples/acceptance_tests/008/aiken.toml new file mode 100644 index 00000000..b8d13e78 --- /dev/null +++ b/examples/acceptance_tests/008/aiken.toml @@ -0,0 +1,2 @@ +name = "acceptance_test_008" +version = "0.0.0" diff --git a/examples/acceptance_tests/008/lib/test.ak b/examples/acceptance_tests/008/lib/test.ak new file mode 100644 index 00000000..689fb805 --- /dev/null +++ b/examples/acceptance_tests/008/lib/test.ak @@ -0,0 +1,21 @@ +use aiken/builtin + +pub fn is_empty(bytes: ByteArray) -> Bool { + builtin.length_of_bytearray(bytes) == 0 +} + +test is_empty_1() { + is_empty(#[]) == True +} + +test is_empty_1_alt() { + is_empty(#[]) +} + +test is_empty_2() { + is_empty(#[1]) == False +} + +test is_empty_2_alt() { + !is_empty(#[1]) +}