293
66%

Ran 13 Jun 2018 01:40AM UTC

Jobs 1

Files 384

Run time 29s

Badge

Embed ▾

pending completion

Build # 293

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Fixed a bug in the parser for SMT-LIB2

Both regular symbols and quoted symbols must be allowed within (not ..) in
check-sat-assuming  as in

  (define-const | X < Y | Bool (< x y))
  (check-sat-assuming ((not | X < Y |)  ...)

Run Details

60350 of 90847 relevant lines covered (66.43%)

1228689.5 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	293.1	13 Jun 2018 01:40AM UTC	384	66.43	Travis Job 293.1

SRI-CSL / yices2 / 293
66%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 293

SRI-CSL / yices2 / 293 66%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 293

SRI-CSL / yices2 / 293
66%

README BADGES
x