Module invariant_ppt 

Structs

InvariantRecord

TestMetrics

Functions

clear_invariant_log

contract_test

finish_metrics

get_invariant_log

inc_invariants

log_invariant

metamorphic_test

property_test

reset_metrics

snapshot_metrics

start_metrics