Add implementation for the #[kani::should_panic] attribute#2315
Merged
adpaco-aws merged 11 commits intomodel-checking:mainfrom adpaco-aws:add-should-panicMar 24, 2023
+236-19
Commits
Commits on Mar 23, 2023
Commits on Mar 24, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed