Add new acceptance test 101 capturing type mismatch at runtime.

aiken-lang · May 6, 2024 · 8c8448b · 8c8448b
1 parent 0fb99d7
commit 8c8448b
Show file tree

Hide file tree

Showing 3 changed files with 58 additions and 0 deletions.
diff --git a/examples/acceptance_tests/101/aiken.lock b/examples/acceptance_tests/101/aiken.lock
@@ -0,0 +1,28 @@
+# This file was generated by Aiken
+# You typically do not need to edit this file
+
+[[requirements]]
+name = "aiken-lang/stdlib"
+version = "main"
+source = "github"
+
+[[requirements]]
+name = "aiken-lang/fuzz"
+version = "main"
+source = "github"
+
+[[packages]]
+name = "aiken-lang/stdlib"
+version = "main"
+requirements = []
+source = "github"
+
+[[packages]]
+name = "aiken-lang/fuzz"
+version = "main"
+requirements = []
+source = "github"
+
+[etags]
+"aiken-lang/fuzz@main" = [{ secs_since_epoch = 1714929976, nanos_since_epoch = 999009000 }, "d7aadd4a9b25589bd6d5e3bbedcd809cdf97fe3eddb365cf89cd6ac6bc829643"]
+"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1714929976, nanos_since_epoch = 636045000 }, "5ee55dc5ccf269bb493f4cacb32096f0191a6adb2ef39d62a1f79b8c5a8fcc7f"]
diff --git a/examples/acceptance_tests/101/aiken.toml b/examples/acceptance_tests/101/aiken.toml
@@ -0,0 +1,19 @@
+name = "aiken-lang/acceptance_test_101"
+version = "0.0.0"
+license = "Apache-2.0"
+description = "Aiken contracts for project 'aiken-lang/101'"
+
+[repository]
+user = "aiken-lang"
+project = "101"
+platform = "github"
+
+[[dependencies]]
+name = "aiken-lang/stdlib"
+version = "main"
+source = "github"
+
+[[dependencies]]
+name = "aiken-lang/fuzz"
+version = "main"
+source = "github"
diff --git a/examples/acceptance_tests/101/lib/foo.ak b/examples/acceptance_tests/101/lib/foo.ak
@@ -0,0 +1,11 @@
+use aiken/fuzz
+
+test prop_option_distribution(opt via fuzz.option(fuzz.int())) {
+  fuzz.label(
+    when opt is {
+      None -> @"None"
+      Some(..) -> @"Some"
+    },
+  )
+  True
+}