575
83%
master: 84%

Ran 12 Jan 2020 06:05PM UTC

Jobs 2

Files 163

Run time 13min

Badge

Embed ▾

pending completion

Build # 575

Build Type

push

travis-ci-com

Committed by

AntoniusW

Commit Message

Extend direct functional dependencies and rewrite equations.

- EnumerationAtom provides reverse lookup of enumerated terms.
- DirectFunctionalDependency considers EnumerationLiterals, and
  ComparisonLiterals are rewritten if they provide more dependencies.
- EquationRefactoring provides actual rewriting of equations.

Run Details

5825 of 6883 relevant lines covered (84.63%)

0.85 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	575.1	12 Jan 2020 06:05PM UTC	0	84.63	Travis Job 575.1
4	575.4	12 Jan 2020 06:18PM UTC	0	84.64	Travis Job 575.4

Source Files on build 575

Detailed source file information is not available for this build.

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 575

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 575

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

README BADGES
x