Adding reachability analysis when state matching occurs.

[jpf-core.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 9ccb9e27d48a9aa8939134985a2c2ca9fd23541a..1950eb15cd105fc016229c379f3b1791bd849793 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -16,6 +16,7 @@ build/
 
 ####### Gradle #######
 .gradle/
+reports/
 
 ####### Covers NetBeans IDE #######
 nbproject/private/
@@ -70,3 +71,4 @@ out/
 
 # JIRA plugin
 atlassian-ide-plugin.xml
+/build-default/