Commit 603f1809 authored by Matthew Fernandez's avatar Matthew Fernandez
Browse files

optimisation: don't require a jmp_buf when --max-errors < 2

We were using the sigsetjmp()/siglongjmp() exception mechanism when either of
two things were true:

  1. --max-errors > 1; or
  2. the model has assumptions.

As of 7dda1203, a failed assumption is signalled
via a normal return value, not via a siglongjmp(). As a result, we no longer
need to require a jmp_buf in this case. This should result in a slight speed up
for models that have assumptions but run with --max-errors < 2.

Github: related to #127 "--max-errors > 1 produces unsafe code"
parent 7dda1203
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment