SRI-CSL / sally
0%
master: 36%

LAST BUILD BRANCH: nra
DEFAULT BRANCH: master
Repo Added
Files 1902
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

LAST BUILD ON BRANCH quantifiers
branch: quantifiers
CHANGE BRANCH
x

194

push

travis-ci

dddejan 
...

0 of 141 relevant lines covered (0.0%)

0.0 hits per line

Relevant lines Covered
141 RELEVANT LINES 0 COVERED LINES
0.0 HITS PER LINE
Source Files on quantifiers
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
194 quantifiers ... push dddejan travis-ci pending completion  
193 quantifiers Ignore logic for now push xapantu travis-ci pending completion  
192 quantifiers Use Int types for process types push xapantu travis-ci pending completion  
191 quantifiers Quantifiers to generic solver push xapantu travis-ci pending completion  
189 quantifiers [parser] type checked quantifier use push xapantu travis-ci pending completion  
187 quantifiers Support for most of the identifier syntax, process types left push xapantu travis-ci pending completion  
185 quantifiers [parser] check for a quantified variable when reaching a symbol push xapantu travis-ci pending completion  
184 quantifiers [parser] initial code to support quantifiers push xapantu travis-ci pending completion  
See All Builds (587)