1
65%
master: 65%

Ran 13 Jun 2018 01:40AM UTC

Files 384

Run time 27s

Badge

Embed ▾

Committed 13 Jun 2018 01:32AM UTC coverage: 66.43%. Remained the same

Job # 293.1

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

SRI-CSL / yices2 / 293 / 1
65%
master: 65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 293.1

SRI-CSL / yices2 / 293 / 1 65% master: 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 293.1

SRI-CSL / yices2 / 293 / 1
65%
master: 65%

README BADGES
x