From 7271aca1c523958f0867479592c32de14d645076 Mon Sep 17 00:00:00 2001
From: Milos Gligoric <milos.gligoric@gmail.com>
Date: Sun, 21 Dec 2014 12:29:03 -0500
Subject: [PATCH] Including Ekstazi (www.ekstazi.org) to optimize regression
 testing

---
 pom.xml |   29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/pom.xml b/pom.xml
index 069a993..7677b31 100644
--- a/pom.xml
+++ b/pom.xml
@@ -275,5 +275,34 @@
         </plugins>
       </build>
     </profile>
+    <!-- Ekstazi (www.ekstazi.org) profile to optimize regression testing -->
+    <profile>
+      <id>ekstazi</id>
+      <activation>
+        <property>
+          <name>ekstazi</name>
+        </property>
+      </activation>
+      <build>
+        <plugins>
+          <plugin>
+            <groupId>org.ekstazi</groupId>
+            <artifactId>ekstazi-maven-plugin</artifactId>
+            <version>4.5.0</version>
+            <configuration>
+              <forcefailing>true</forcefailing>
+            </configuration>
+            <executions>
+              <execution>
+                <id>ekstazi</id>
+                <goals>
+                  <goal>select</goal>
+                </goals>
+              </execution>
+            </executions>
+          </plugin>
+        </plugins>
+      </build>
+    </profile>
   </profiles>
 </project>
-- 
1.7.9.5