3
37%
master: 36%

Ran 02 Apr 2021 04:11PM UTC

Files 1883

Run time 3min

Badge

Committed 02 Apr 2021 04:02PM UTC coverage: 0.0%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

fixes for building of CEX in the presence of algebraic numbers.

now relying on SMT modulo models to do stepwise CEX extraction.

Run Details

0 of 0 relevant lines covered (NaN%)

0.0 hits per line