SRI-CSL / yices2 / 1600 / 10
65%
master: 65%

Ran 20 Mar 2021 02:31AM UTC

Files 0

Run time 0s

Badge

Committed 20 Mar 2021 01:43AM UTC coverage: 0.0% (-65.5%) from 65.54%

Job # BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat"

Build Type

travis-ci

Committed by

Commit Message

Merge b2c39cdeb into 99297288d

Pull Request Pull Request #354: Interpolation/Generalization for nonlinear arithmetic with MCSAT

Run Details

0 of 0 relevant lines covered (NaN%)

0.0 hits per line

Source Files on job 1600.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")