Skip to content
Proof Replay

passt schon, jetzt erst recht #25

Sign in to view logs

passt schon, jetzt erst recht

passt schon, jetzt erst recht #25

Triggered via push October 26, 2023 16:10
@wadoonwadoon
pushed 42463d8
fixWP
Status Cancelled
Total duration 7m 18s
Artifacts –

tests.yml

on: push
compile_and_test
51s
compile_and_test
Matrix: replay-proofs
Fit to window
Zoom out
Zoom in

Annotations

6 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-methods)
The run was canceled by @wadoon.
replay-proofs (check-methods)
The operation was canceled.
replay-proofs (check-overflow-methods)
The run was canceled by @wadoon.
replay-proofs (check-overflow-methods)
The operation was canceled.