2
83%
master: 84%

Ran 04 May 2021 04:32PM UTC

Files 202

Run time 1min

Badge

Embed ▾

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

Job # 1197.2

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

6671 of 8065 relevant lines covered (82.72%)

0.83 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1197.2

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1197.2

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

README BADGES
x