Skip to content
Proof Replay

Updating the repository for public version on github. #33

Sign in to view logs

Updating the repository for public version on github.

Updating the repository for public version on github. #33

Triggered via push October 27, 2023 20:21
@mattulbrichmattulbrich
pushed 3a7da50
main
Status Failure
Total duration 1h 10m 26s
Artifacts –

tests.yml

on: push
compile_and_test
1m 0s
compile_and_test
Matrix: replay-proofs
Fit to window
Zoom out
Zoom in

Annotations

4 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)
null
replay-proofs (check-overflow-methods)
Process completed with exit code 2.