Reimplementing DPOR Phase 1: First trace execution, cycle detection, R/W field access...

[jpf-core.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 50639fdf4ce857c168cce6426769a46b26331112..1950eb15cd105fc016229c379f3b1791bd849793 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -71,3 +71,4 @@ out/
 
 # JIRA plugin
 atlassian-ide-plugin.xml
+/build-default/