proof of fallback_sort #20
WolframPfeifertests.yml
on: push
compile_and_test
51s
Matrix: replay-proofs
Annotations
16 errors
|
replay-proofs (check-overflow-constructors)
Cannot invoke "de.uka.ilkd.key.rule.RuleApp.rule()" because the return value of "de.uka.ilkd.key.proof.Node.getAppliedRuleApp()" is null
|
|
replay-proofs (check-overflow-constructors)
Process completed with exit code 2.
|
|
|
|
|
|
|
|
replay-proofs (check-overflow-methods)
Process completed with exit code 2.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|