Verification of src/Factorial.elm succeeds without doing anything
When verifying src/Factorial.elm with either integrated/external, nothing is actually done and the verification succeeds. sbv/z3-transformation is not even called. This can be seen when setting the debug flag.
With debug on, the output is:
Compiling dependencies...
Success!
Compiling package: elm/core-1.0.2
[==================================================] - 18 / 18
Compiling package: elm/json-1.1.3
Success! Compiled 18 modules.
Success! Compiled 2 modules.
Success! Compiled 20 modules from 2 packages.
Basic Checks Passed, continuing with verification!
src/Translation.hs:132:33-45 "[]"
Verification successful
Edited by Kai Prott