Module Binsec_cli_bbsse.StatSource
Sourceval ground_truth : bool Stdlib.ref Sourceval all_predicates : int Stdlib.ref Sourceval deemed_opaques : int Stdlib.ref Sourceval true_positives : int Stdlib.ref Sourceval false_positives : int Stdlib.ref Sourceval wrong_positives : int Stdlib.ref Sourceval deemed_clear : int Stdlib.ref Sourceval true_negatives : int Stdlib.ref Sourceval false_negatives : int Stdlib.ref Sourceval deemed_unreachable : int Stdlib.ref Sourceval true_unreachable : int Stdlib.ref Sourceval false_unreachable : int Stdlib.ref Sourceval failure : int Stdlib.ref Sourceval all_paths : int Stdlib.ref Sourcetype time = {mutable sec : float;
}