Commit d06ebaa2 authored by leberre's avatar leberre
Browse files

fix pom.xml

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2539 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 93a150d4
......@@ -156,7 +156,7 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<artifactId>maven-surefire-plugin</artifactId>
<version>2.19.1</version>
<configuration>
<forkCount>3</threadCount>
<forkCount>3</forkCount>
<reuseForks>true</reuseForks>
<argLine>-enableassertions -Xmx1024m</argLine>
<includes>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment