Constant move_model::pragmas::ALWAYS_ABORTS_TEST_PRAGMA

source · 
pub const ALWAYS_ABORTS_TEST_PRAGMA: &str = "always_aborts_test";
Expand description

Pragma indicating that the function will run smoke tests