Coverage for sparkle/types/status.py: 100%

1"""Class for solver status.""" 

2from __future__ import annotations 

3from enum import Enum 

4 

5 

6class SolverStatus(str, Enum): 

7 """Possible return states for solver runs.""" 

8 SUCCESS = "SUCCESS" # Positive status 

9 UNKNOWN = "UNKNOWN" # Semi positive status 

10 SAT = "SAT" # SAT specific positive status 

11 UNSAT = "UNSAT" # SAT specific positive status 

12 

13 # Negative status 

14 CRASHED = "CRASHED" 

15 TIMEOUT = "TIMEOUT" 

16 WRONG = "WRONG" 

17 ERROR = "ERROR" 

18 KILLED = "KILLED"