waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add new acceptance test 101 capturing type mismatch at runtime.

This commit is contained in:
KtorZ 2024-05-05 19:27:09 +02:00 committed by Kasey
parent 0a660c6a21
commit 967f4348ed
3 changed files with 58 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
examples/acceptance_tests/101/aiken.lock Normal file
View File

@ -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"]

19
examples/acceptance_tests/101/aiken.toml Normal file
View File

@ -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"

11
examples/acceptance_tests/101/lib/foo.ak Normal file
View File

@ -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
}