caleb531 / automata / 174 / 1
100%
master: 100%

LAST BUILD BRANCH: develop
DEFAULT BRANCH: master
Ran
Files 13
Run time 0s
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: 99.117% (+0.02%) from 99.093%
174.1

push

travis-ci

caleb531 
Add DPDA nondeterminism check

449 of 453 relevant lines covered (99.12%)

0.99 hits per line

Source Files on job 174.1