| 15 | } |
| 16 | |
| 17 | void CodeChecker::start(const QString& modelContents, SolverConfiguration& sc, const QString& wd) |
| 18 | { |
| 19 | cancel(); |
| 20 | connectSignals(); |
| 21 | inRelevantError = false; |
| 22 | curError = MiniZincError(); |
| 23 | mznErrors.clear(); |
| 24 | SolverConfiguration checkSc(sc.solverDefinition); |
| 25 | checkSc.additionalData = sc.additionalData; |
| 26 | checkSc.extraOptions = sc.extraOptions; |
| 27 | QStringList args; |
| 28 | args << "--model-check-only" << "-"; |
| 29 | input = modelContents; |
| 30 | p.start(checkSc, args, wd); |
| 31 | } |
| 32 | |
| 33 | void CodeChecker::cancel() |
| 34 | { |
nothing calls this directly
no test coverage detected