1
83%
master: 84%

Ran 06 Aug 2020 01:39AM UTC

Files 175

Run time 23s

Badge

Embed ▾

Committed 06 Aug 2020 01:32AM UTC coverage: 83.109%. First build

Job # 1007.1

Build Type

push

travis-ci-com

Committed by

AntoniusW

Commit Message

Add ArithmeticTerm rewriting, allowing arithmetic expressions in atoms.

- Obtain from ExternalAtom its input/output literals, and lower/upper
  bounds from IntervalTerm.
- Add ArithmeticTermsRewriting.
- In AlphaTest create mutable list of rules for Program.

Run Details

5806 of 6986 relevant lines covered (83.11%)

0.83 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1007.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1007.1

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

README BADGES
x