Skip to main content

formal_method_test_v3

Attribute Macro formal_method_test_v3 

Source
#[formal_method_test_v3]
Expand description

V3: mod wrapper + transform #[instrument] into cfg_attr(not(any(kani,creusot)), instrument).