Skip to content

CallElimCorrect: rewrite using small-step semantics #10139

CallElimCorrect: rewrite using small-step semantics

CallElimCorrect: rewrite using small-step semantics #10139

Annotations

2 warnings

cbmc  /  Run CBMC tests

succeeded Jun 5, 2026 in 2m 20s