Public Attributes
solve_regression_result Struct Reference

List of all members.

Public Attributes

string id
bool passed
sat_query_status actual_status
int ticks
int size

The documentation for this struct was generated from the following file: