
Dafny program verifier finished with 0 verified, 0 errors
CLI: Warning: cannot load allowWarnings.doo: --allow-warnings is set locally to False, but the library was built with True
Compilation failed because warnings were found and --allow-warnings is false
