Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
6098 of 16076 relevant lines covered (37.93%)
15771.37 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
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 |