1
96%
master: 94%

Ran 07 Jul 2015 11:29PM UTC

Files 7

Run time 1s

Badge

Embed ▾

Committed 07 Jul 2015 11:21PM UTC coverage: 94.872% (-1.4%) from 96.272%

Job # 56.1

Build Type

push

travis-ci

Committed by

feiranwang

Commit Message

Add a semantic checker

The following checks are performed
1. if a relation is defined
2. if a function is defined
3. if the number of columns of a relation match that in the schema
4. if variable relations use reserved columns (id, label)

Run Details

629 of 663 relevant lines covered (94.87%)

0.95 hits per line

HazyResearch / ddlog / 56 / 1
96%
master: 94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 56.1

HazyResearch / ddlog / 56 / 1 96% master: 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 56.1

HazyResearch / ddlog / 56 / 1
96%
master: 94%

README BADGES
x