1007
83%
master: 84%

Ran 06 Aug 2020 01:39AM UTC

Jobs 2

Files 175

Run time 2min

Badge

Embed ▾

pending completion

Build # 1007

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	1007.1	06 Aug 2020 01:39AM UTC	0	83.11	Travis Job 1007.1
4	1007.4	06 Aug 2020 01:41AM UTC	0	83.12	Travis Job 1007.4

Source Files on build 1007

Detailed source file information is not available for this build.

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1007

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1007

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

README BADGES
x