SRI-CSL / sally

38%

master: 36%

LAST BUILD ON BRANCH 2020-08-19

branch: 2020-08-19

CHANGE BRANCH

x

Reset

• 2020-08-19
• 2018-08-19
• 2020-02-18
• 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 # 628

Build Type

push

travis-ci

Committed by dddejan

Commit Message

removing regressiong that fail due to recent yices improvements

Run Details

6140 of 16195 relevant lines covered (37.91%)

15941.74 hits per line