1
45%
main: 45%

Ran 23 Nov 2025 06:37PM UTC

Files 13

Run time 0s

Badge

Embed ▾

Committed 23 Nov 2025 06:33PM UTC coverage: 45.662% (-5.9%) from 51.566%

Job # 425.1

Build Type

push

github

Committed by

filipeom

Commit Message

Refactor exception handling in operator evaluation

Previously, during operator evaluation we would raise generic failures
for following three reasons:

- A theory was unsupported
- An operator was not supported by a given theory, and
- A failure in the evaluation of an operator

This would make exception handling difficult for apps that need to
gracefully handle failures. For this reason, we refactored the above
exceptions to instead raise a `Eval_error` of type `error_kind`.

Additionally, the refactor included:

- Fixing a couple of bugs when raising the `Type_error` exception.
- Adding all the helpers used for value coercion at the top of the file.
  I think it's more organised this way. Only time will tell.

BREAKING: Exception API changed for the `Eval` module

Run Details

879 of 1925 relevant lines covered (45.66%)

7.5 hits per line

formalsec / smtml / 425 / 1
45%
main: 45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 425.1

formalsec / smtml / 425 / 1 45% main: 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 425.1

formalsec / smtml / 425 / 1
45%
main: 45%

README BADGES
x