P2 · Platform
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
activate_live(revert_to)restores the activation state ofrevert_to
If it is false
No invariant names it in docs/verification-ratio.toml.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
activate_live(revert_to)restores the activation state ofrevert_to
No invariant names it in docs/verification-ratio.toml.