/
pom.xml
31 lines (27 loc) · 1.08 KB
/
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
<?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 https://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<parent>
<groupId>com.ge.verdict</groupId>
<artifactId>verdict-back-ends</artifactId>
<version>1.0.0-SNAPSHOT</version>
</parent>
<artifactId>verdict-bundle</artifactId>
<packaging>pom</packaging>
<modules>
<module>verdict-assurance-case</module>
<module>verdict-attack-defense-collector</module>
<module>verdict-blame-assignment</module>
<module>verdict-bundle-app</module>
<module>verdict-crv</module>
<module>verdict-instrumentor</module>
<module>verdict-lustre-translator</module>
<module>verdict-mbas-translator</module>
<module>verdict-merit-assignment</module>
<module>verdict-stem-runner</module>
<module>verdict-synthesis</module>
<module>verdict-test-instrumentor</module>
<module>z3-native-libs</module>
</modules>
</project>