smackers / smack

SMACK Software Verifier and Verification Toolchain
http://smackers.github.io
Other
427 stars 82 forks source link

Set Rust's panic behavior as aborting instead of unwinding #782

Closed shaobo-he closed 2 years ago

shaobo-he commented 2 years ago

Stack unwinding logic is very complicated and even though the functions associated with it are not called, they stay in the program. This commit lets Rust programs to abort when panics occur, which produces much simpler programs.