531
38%
master: 36%

Ran 20 Jun 2019 01:24AM UTC

Jobs 1

Files 1635

Run time 57s

Badge

Embed ▾

pending completion

Build # 531

Build Type

push

travis-ci

Committed by

dddejan

Commit Message

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)

Run Details

6098 of 16076 relevant lines covered (37.93%)

15771.37 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
3	531.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON)	20 Jun 2019 01:24AM UTC	0	37.93	Travis Job 531.3

Source Files on build 531

Detailed source file information is not available for this build.

SRI-CSL / sally / 531
38%
master: 36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 531

SRI-CSL / sally / 531 38% master: 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 531

SRI-CSL / sally / 531
38%
master: 36%

README BADGES
x