Revision d7186acb6788015aff8d76e9d355da709d7cb5b0 authored by Pierre-Yves Strub on 08 December 2023, 07:20:01 UTC, committed by Pierre-Yves Strub on 05 April 2024, 14:19:50 UTC
This tactic allows to rewrite an expression in a statement. The syntax is: proc rewrite <side?> <codepos> <proof-term> This tactic relies on "proc change" and does not modify the TCB. Test plan: - unit test (tests/procrewrite.ec)
1 parent 30bfa95
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...