translation.backendopt.really_remove_asserts

  • name: really_remove_asserts
  • description: Really remove operations that look like ‘raise AssertionError’, without relying on the C compiler
  • command-line: –translation-backendopt-really_remove_asserts
  • command-line for negation: –no-translation-backendopt-really_remove_asserts
  • option type: boolean option
  • default: False