Add new acceptance test scenario: 063

examples/acceptance_tests/063/aiken.lock

@@ -0,0 +1,13 @@
+# This file was generated by Aiken
+# You typically do not need to edit this file
+
+[[requirements]]
+name = "aiken-lang/stdlib"
+version = "main"
+source = "github"
+
+[[packages]]
+name = "aiken-lang/stdlib"
+version = "main"
+requirements = []
+source = "github"

examples/acceptance_tests/063/aiken.toml

@@ -0,0 +1,8 @@
+name = 'aiken-lang/acceptance_test_061'
+version = '0.0.0'
+description = ''
+
+[[dependencies]]
+name = 'aiken-lang/stdlib'
+version = 'main'
+source = 'github'

examples/acceptance_tests/063/lib/tests.ak

@@ -0,0 +1,17 @@
+fn must_be_signed(signatories) {
+  when signatories is {
+    [] -> {
+      trace "no signatories"
+      False
+    }
+    [sig, ..] -> (sig == "#ffff")?
+  }
+}
+
+fn must_say_hello(msg) {
+  msg == "Hello, World!"
+}
+
+test foo() {
+  must_be_signed(["#f000"])? && must_say_hello("Hello, World!")? || True
+}