diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-08 02:33:37 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-08 02:33:37 +0000 |
commit | 752b00bc94385fd4b54becb072fca3814f34fd4c (patch) | |
tree | 5636548d4e874275d6348fd6fd9f03b074e65d33 /.project | |
parent | f632dfe4fe36f49361bebbf843992f658bac28ef (diff) |
Removing QUICK_CHECK, and other unused ones, from the Theory::Effort.
Seems to be working better <http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=3749&category=&p=5&reference_id=3739>, and should fix the failing cases in the regressions.
Removing one test case from the integer regress0.
Diffstat (limited to '.project')
-rw-r--r-- | .project | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -32,7 +32,7 @@ </dictionary> <dictionary> <key>org.eclipse.cdt.make.core.buildArguments</key> - <value>-j2</value> + <value>-j10</value> </dictionary> <dictionary> <key>org.eclipse.cdt.make.core.buildCommand</key> |