diff --git a/examples/acceptance_tests/101/aiken.lock b/examples/acceptance_tests/101/aiken.lock new file mode 100644 index 00000000..4c6bffb7 --- /dev/null +++ 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 new file mode 100644 index 00000000..3020ceb9 --- /dev/null +++ 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 new file mode 100644 index 00000000..9f7abbf8 --- /dev/null +++ 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 +}