I'd like to use the results of StatDP for some downstream task. Unfortunately, the format of the events returned by detect_counterexample is not documented.
How are the 5 different kinds of events according to section 4.3 in the publication represented in this implementation?
I'd like to use the results of StatDP for some downstream task. Unfortunately, the format of the events returned by
detect_counterexampleis not documented.How are the 5 different kinds of events according to section 4.3 in the publication represented in this implementation?