1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
This commit is contained in:
schaeff 2020-04-09 11:16:37 +02:00
parent ec89b27cd2
commit 1f97577290
2 changed files with 11 additions and 1 deletions

View file

@ -2,5 +2,15 @@
"entry_point": "./tests/tests/memoize/memoize.zok",
"max_constraint_count": 14,
"tests": [
{
"input": {
"values": ["3"]
},
"output": {
"Ok": {
"values": []
}
}
}
]
}

View file

@ -9,6 +9,6 @@ def main(field a) -> ():
local(a) + local(a) + local(a) + local(a) + local(a) == 5 * (a ** 8)
// calling an imported function many times with the same arg should cost only once
dep(a) + dep(a) + dep(a) + dep(a) + dep(a) == 4 * (a ** 4)
dep(a) + dep(a) + dep(a) + dep(a) + dep(a) == 5 * (a ** 4)
return