Currently, regression tests only check whether a result is either SAT or UNSAT. We need to have a way to check the SAT answer more precisely. For instance, we can provide an interval for each variable and check whether the intervals in a result is contained by the provided intervals.
Currently, regression tests only check whether a result is either SAT or UNSAT. We need to have a way to check the SAT answer more precisely. For instance, we can provide an interval for each variable and check whether the intervals in a result is contained by the provided intervals.