Attribute Macro prusti_contracts::print_counterexample

source · 
#[print_counterexample]
Expand description

A macro to customize how a struct or enum should be printed in a counterexample