-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathdependency-reduced-pom.xml
136 lines (135 loc) · 4.13 KB
/
dependency-reduced-pom.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
<?xml version="1.0" encoding="UTF-8"?>
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
<parent>
<artifactId>cova-root</artifactId>
<groupId>de.upb.swt</groupId>
<version>0.0.1-SNAPSHOT</version>
</parent>
<modelVersion>4.0.0</modelVersion>
<groupId>de.upb.swt</groupId>
<artifactId>cova</artifactId>
<name>cova</name>
<version>0.0.1-SNAPSHOT</version>
<url>http://maven.apache.org</url>
<build>
<testOutputDirectory>${testOutputDir}</testOutputDirectory>
<directory>${buildDir}</directory>
<plugins>
<plugin>
<artifactId>maven-shade-plugin</artifactId>
<version>2.3</version>
<executions>
<execution>
<phase>package</phase>
<goals>
<goal>shade</goal>
</goals>
<configuration>
<transformers>
<transformer>
<mainClass>cova.Main</mainClass>
</transformer>
</transformers>
</configuration>
</execution>
</executions>
</plugin>
<plugin>
<artifactId>maven-surefire-plugin</artifactId>
<version>2.21.0</version>
<configuration>
<argLine>@{argLine}
-Djava.library.path=${dependencyDir}/${z3proverDir}/bin/</argLine>
<groups>categories.BenchmarkTestSuite,
categories.UnitTestSuite,</groups>
</configuration>
</plugin>
<plugin>
<groupId>org.jacoco</groupId>
<artifactId>jacoco-maven-plugin</artifactId>
<version>0.7.5.201505241946</version>
<executions>
<execution>
<id>default-prepare-agent</id>
<phase>compile</phase>
<goals>
<goal>prepare-agent</goal>
</goals>
</execution>
<execution>
<id>post-unit-test</id>
<phase>test</phase>
<goals>
<goal>report</goal>
</goals>
<configuration>
<dataFile>${buildDir}/jacoco.exec</dataFile>
<outputDirectory>${buildDir}/site</outputDirectory>
</configuration>
</execution>
</executions>
<configuration>
<skip>${jacoco.skip.instrument}</skip>
<excludes>
<exclude>**/*.jar</exclude>
<exclude>${testOutputDir}/**</exclude>
</excludes>
</configuration>
</plugin>
</plugins>
</build>
<profiles>
<profile>
<id>Profile for Windows</id>
<properties>
<z3proverDir>z3-4.5.0-x64-win</z3proverDir>
</properties>
</profile>
<profile>
<id>Profile for Linux</id>
<properties>
<z3proverDir>z3-4.5.0-x64-ubuntu</z3proverDir>
</properties>
</profile>
<profile>
<id>codecoverage</id>
<properties>
<jacoco.skip.instrument>false</jacoco.skip.instrument>
</properties>
</profile>
</profiles>
<repositories>
<repository>
<id>soot-snapshot</id>
<name>soot snapshots</name>
<url>https://soot-build.cs.uni-paderborn.de/nexus/repository/soot-snapshot/</url>
</repository>
</repositories>
<dependencies>
<dependency>
<groupId>de.upb.swt</groupId>
<artifactId>constraintBench</artifactId>
<version>0.0.1-SNAPSHOT</version>
<scope>test</scope>
</dependency>
<dependency>
<groupId>junit</groupId>
<artifactId>junit</artifactId>
<version>4.12</version>
<scope>test</scope>
<exclusions>
<exclusion>
<artifactId>hamcrest-core</artifactId>
<groupId>org.hamcrest</groupId>
</exclusion>
</exclusions>
</dependency>
</dependencies>
<properties>
<testOutputDir>target/test-classes</testOutputDir>
<dependencyDir>${project.basedir}/localLibs</dependencyDir>
<jacoco.skip.instrument>true</jacoco.skip.instrument>
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
<buildDir>target</buildDir>
</properties>
</project>