Skip to content
Proof Replay

removed SMT calls from copy_unique proof #30

Sign in to view logs

removed SMT calls from copy_unique proof

removed SMT calls from copy_unique proof #30

Triggered via push October 27, 2023 14:27
@WolframPfeiferWolframPfeifer
pushed 6169ba5
fixWP
Status Failure
Total duration 1h 8m 40s
Artifacts –

tests.yml

on: push
compile_and_test
1m 2s
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-overflow-methods)
null
replay-proofs (check-overflow-methods)
Process completed with exit code 2.
replay-proofs (check-methods)
null
replay-proofs (check-methods)
Process completed with exit code 2.