Proof for the base case #19
mattulbrichtests.yml
on: push
compile_and_test
1m 2s
Matrix: replay-proofs
Annotations
14 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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|