Skip to content

Add `panics_if` precondition to express panic-freedom

5710b26
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Add panics_if precondition to express panic-freedom #4230

Add `panics_if` precondition to express panic-freedom
5710b26
Select commit
Loading
Failed to load commit list.