1
83%
master: 84%

Ran 04 May 2021 04:33PM UTC

Files 202

Run time 1min

Badge

Embed ▾

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

Job # 1197.1

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

6672 of 8065 relevant lines covered (82.73%)

0.83 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1197.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1197.1

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

README BADGES
x