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
pub const ALWAYS_ABORTS_TEST_PRAGMA: &str = "always_aborts_test";
Pragma indicating that the function will run smoke tests