increase child process buffer for large outputs

Author: Leo Alt

smtsolver.js

@@ -41,7 +41,10 @@ function solve (query, solver) {
   try {
     solverOutput = execSync(
       solver.command + ' ' + solver.params + ' ' + tmpFile.name, {
-        stdio: 'pipe'
+        encoding: 'utf8',
+        maxBuffer: 1024 * 1024 * 1024,
+        stdio: 'pipe',
+        timeout: timeout // Enforce timeout on the process, since solvers can sometimes go arount it.
       }
     ).toString();
   } catch (e) {