github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

add test

Browse source
This commit is contained in:
schaeff 2021-06-30 13:18:38 +02:00
parent dce8a2979e
commit 9fc66516c4
4 changed files with 53 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zokrates_core_test/tests/tests/arrays/identity.json
View file

@ -1,5 +1,5 @@
{
"entry_point": "./tests/tests/arrays/identity.code",
"entry_point": "./tests/tests/arrays/identity.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{

0
zokrates_core_test/tests/tests/arrays/identity.code → zokrates_core_test/tests/tests/arrays/identity.zok
View file

50
zokrates_core_test/tests/tests/arrays/select.json Normal file
View file

@ -0,0 +1,50 @@
{
"entry_point": "./tests/tests/arrays/select.zok",
"max_constraint_count": 44,
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": ["0", "11", "22", "0"]
},
"output": {
"Ok": {
"values": ["0"]
}
}
},
{
"input": {
"values": ["0", "11", "22", "1"]
},
"output": {
"Ok": {
"values": ["11"]
}
}
},
{
"input": {
"values": ["0", "11", "22", "2"]
},
"output": {
"Ok": {
"values": ["22"]
}
}
},
{
"input": {
"values": ["0", "11", "22", "3"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "1",
"right": "0"
}
}
}
}
]
}

2
zokrates_core_test/tests/tests/arrays/select.zok Normal file
View file

@ -0,0 +1,2 @@
def main(field[3] array, u32 index) -> field:
return array[index]