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]) +}