1197
83%
master: 84%

Ran 04 May 2021 04:32PM UTC

Jobs 3

Files 404

Run time 3min

Badge

Embed ▾

pending completion

Build # 1197

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

13347 of 16134 relevant lines covered (82.73%)

1.24 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	1197.1	04 May 2021 04:33PM UTC	82.73	Travis Job 1197.1
2	1197.2	04 May 2021 04:32PM UTC	82.72	Travis Job 1197.2
4	1197.4	04 May 2021 04:33PM UTC	82.72	Travis Job 1197.4

Source Files on build 1197

Detailed source file information is not available for this build.

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1197

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1197

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

README BADGES
x