SRI-CSL / sally

36%

LAST BUILD ON BRANCH master

branch: SELECT

CHANGE BRANCH

x

• No branch selected
• 2018-08-19
• 2020-02-18
• 2020-08-19
• 2021-02-19
• ai
• aiger
• apron
• arrays
• cav2016
• chc
• crab
• cross-compile
• dreal
• fmcad2016
• frontend
• ic3-cex
• interpolation
• let-output
• master
• mattias
• mcsat
• mcsat-hybrid
• mcsat-interpolation
• mcsat-model-hint
• nra
• opensmt2
• origin/frontend
• quantifiers
• sal
• smt2
• unsat-core
• z3

Build # 708

Build Type

cron

travis-ci

Committed by web-flow

Commit Message

Merge pull request #68 from SRI-CSL/nra

Extensions to use SMT modulo models and interpolation from latest Yices2

Run Details

377 of 377 new or added lines in 21 files covered. (100.0%)

5910 of 16517 relevant lines covered (35.78%)

15411.49 hits per line