First check 28. 10. 2015
Opened this issue · 0 comments
mcyprian commented
131 unsuccessful from 172 files in preds-slrd_entl
| exception | number |
|---|---|
| InputError("only disequalities of the for alloc!=nil are allowed") | 65 |
| InputError(" only equalities between allocated variable and something are allowed") | 40 |
| InputError: 'two pointsto in a single predicate rules -- not implemented' | 16 |
| TypeError: 'NoneType' object has no attribute 'getitem' | 4 |
| JoinFailed("Join failed: impossible to join the input into a single predicate call (or bad strategy)") | 2 |
| InputError("ERROR: dangling pointer reference, not covered") | 2 |
| JoinFailed("JOIN: complicated join, not implemented") | 1 |
InputError("Parsing %s: only equalities of the form x=y separated by & are allowed"%rule) | 1