Commit 2d8c95f0 authored by Daniel Le Berre's avatar Daniel Le Berre

adding regression testings (names containing Bug, not Test) to ant and maven test phases

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2102 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent e127e18c
......@@ -445,7 +445,8 @@
<batchtest fork="yes" todir="${testreport.dir}">
<fileset dir="${build}">
<include name="**/*Test*.class" />
<include name="**/*Test*.class" />
<include name="**/*Bug*.class" />
<exclude name="**/AllTests.class" />
<exclude name="**/Abstract*Test*.class" />
<exclude name="**/XplainTests*"/>
......
......@@ -157,6 +157,9 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<configuration>
<forkMode>pertest</forkMode>
<argLine>-enableassertions -Xmx1024m</argLine>
<includes>
<include>**/Bug*</include>
</includes>
<excludes>
<exclude>**/XplainTests*</exclude>
<exclude>**/GoodOPBReaderTest*</exclude>
......
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