4
83%
master: 84%

Ran 04 May 2021 04:33PM UTC

Files 202

Run time 57s

Badge

Embed ▾

Committed 04 May 2021 02:37AM UTC coverage: 82.724% (-0.03%) from 82.752%

Job # 1197.4

Build Type

push

travis-ci-com

Committed by

AntoniusW

Commit Message

Program transformations remove variable-equalities first not last.

- VariableEqualityRemoval works on InputPrograms not NormalPrograms now.
- IntervalTermToIntervalAtom no longer introduces variable-equalities
  when rewriting "X=A..B" literals.

Run Details

6675 of 8069 relevant lines covered (82.72%)

0.83 hits per line

alpha-asp / Alpha / 1197 / 4
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1197.4

alpha-asp / Alpha / 1197 / 4 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1197.4

alpha-asp / Alpha / 1197 / 4
83%
master: 84%

README BADGES
x