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" 

9 CRASHED = "CRASHED" 

10 TIMEOUT = "TIMEOUT" 

11 WRONG = "WRONG" 

12 UNKNOWN = "UNKNOWN" 

13 ERROR = "ERROR" 

14 KILLED = "KILLED" 

15 

16 # SAT specific status 

17 SAT = "SAT" 

18 UNSAT = "UNSAT"