| 178 | } |
| 179 | |
| 180 | void Engine::exportInputQueryWithError( String errorMessage ) |
| 181 | { |
| 182 | String ipqFileName = ( _queryId.length() > 0 ) ? _queryId + ".ipq" : "failedMarabouQuery.ipq"; |
| 183 | prepareSnCInputQuery().saveQuery( ipqFileName ); |
| 184 | printf( "Engine: %s!\nInput query has been saved as %s. Please attach the input query when you " |
| 185 | "open the issue on GitHub.\n", |
| 186 | errorMessage.ascii(), |
| 187 | ipqFileName.ascii() ); |
| 188 | } |
| 189 | |
| 190 | bool Engine::solve( double timeoutInSeconds ) |
| 191 | { |