SRI-CSL / sally
38%
master: 36%

LAST BUILD BRANCH: nra
DEFAULT BRANCH: master
Repo Added
Files 1902
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH smt2
branch: smt2
CHANGE BRANCH
x

Relevant lines Covered
16076 RELEVANT LINES 6098 COVERED LINES
15771.37 HITS PER LINE
Source Files on smt2
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
531 smt2 1st version of a decicated smt2 parser - parse formula f - create transition system <init = f, trans = false> - check property true to be used for testing efficiency of hybrid solvers (e.g., QF_NRA benchmarks) push dddejan travis-ci pending completion  
See All Builds (587)