diff --git a/.cproject b/.cproject index 6b473f6be..0b3a13e37 100644 --- a/.cproject +++ b/.cproject @@ -847,6 +847,22 @@ true true + + make + -j5 + testSymbolicSequentialSolver.run + true + true + true + + + make + -j5 + testEliminationTree.run + true + true + true + make -j2