Skip to content

RFC: Attribute to distinguish safety preconditions from panic freedom - #3893

Draft
tautschnig wants to merge 5 commits into
model-checking:mainfrom
tautschnig:rfc-may-panic
Draft

RFC: Attribute to distinguish safety preconditions from panic freedom#3893
tautschnig wants to merge 5 commits into
model-checking:mainfrom
tautschnig:rfc-may-panic

Update rfc/src/rfcs/0014-may-panic-if-attr.md

398e9cf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Job log options

This job was skipped