stanford-oval / thingtalk / 21 / 1
78%
master: 78%

DEFAULT BRANCH: master
Ran
Files 23
Run time 2s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 55.211% (+3.7%) from 51.561%
21.1

push

travis-ci

gcampax 
Allow arbitrary predicates on the source for policies

This is what we describe in the papers, and it's what we should
do anyway.

3603 of 7304 branches covered (49.33%)

Branch coverage included in aggregate %.

7564 of 12922 relevant lines covered (58.54%)

194.95 hits per line

Source Files on job 21.1