| 413 | } |
| 414 | |
| 415 | std::string exitCodeToString( IEngine::ExitCode code ) |
| 416 | { |
| 417 | switch ( code ) |
| 418 | { |
| 419 | case IEngine::UNSAT: |
| 420 | return "unsat"; |
| 421 | case IEngine::SAT: |
| 422 | return "sat"; |
| 423 | case IEngine::ERROR: |
| 424 | return "ERROR"; |
| 425 | case IEngine::UNKNOWN: |
| 426 | return "UNKNOWN"; |
| 427 | case IEngine::TIMEOUT: |
| 428 | return "TIMEOUT"; |
| 429 | case IEngine::QUIT_REQUESTED: |
| 430 | return "QUIT_REQUESTED"; |
| 431 | default: |
| 432 | return "UNKNOWN"; |
| 433 | } |
| 434 | } |
| 435 | |
| 436 | /* The default parameters here are just for readability, you should specify |
| 437 | * them in the to make them work*/ |
no outgoing calls
no test coverage detected