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:

• ui/src/solver-ui.cpp