Skip to content

Instantly share code, notes, and snippets.

@seyyedaliayati

seyyedaliayati/prover_options.csv

Last active February 21, 2023 15:43
Show Gist options
  • Save seyyedaliayati/03cee7f612256a5e1c030bec65abd6a6 to your computer and use it in GitHub Desktop.
Save seyyedaliayati/03cee7f612256a5e1c030bec65abd6a6 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
prover_options.csv
Option Type Default Description
generate_only bool false Whether to only generate backend code.
native_stubs bool false Whether to generate stubs for native functions.
minimize_execution_trace bool true Whether to minimize execution traces in errors.
omit_model_debug bool false Whether to omit debug information in generated model.
stable_test_output bool false Whether output for e.g. diagnosis shall be stable/redacted so it can be used in test output.
verify_scope enum All Scope of what functions to verify.
resource_wellformed_axiom bool false [deprecated] Whether to emit global axiom that resources are well-formed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment