Minor fixes - added generated Z3 test files to .gitignore, updated Z3…

… project to new version, added Z3 project settings.

jdeeco-ensembles-intelligent-z3/.gitignore

@@ -1 +1,2 @@
-logs
+logs
+test-gen

jdeeco-ensembles-intelligent-z3/.settings/cz.cuni.mff.d3s.jdeeco.edl.EDL.prefs

@@ -0,0 +1,21 @@
+autobuilding=true
+eclipse.preferences.version=1
+is_project_specific=true
+outlet.DEFAULT_OUTPUT.cleanDirectory=false
+outlet.DEFAULT_OUTPUT.cleanupDerived=true
+outlet.DEFAULT_OUTPUT.createDirectory=true
+outlet.DEFAULT_OUTPUT.derived=true
+outlet.DEFAULT_OUTPUT.directory=./test-gen
+outlet.DEFAULT_OUTPUT.hideLocalSyntheticVariables=true
+outlet.DEFAULT_OUTPUT.installDslAsPrimarySource=false
+outlet.DEFAULT_OUTPUT.keepLocalHistory=false
+outlet.DEFAULT_OUTPUT.override=true
+outlet.generate_once.cleanDirectory=false
+outlet.generate_once.cleanupDerived=false
+outlet.generate_once.createDirectory=true
+outlet.generate_once.derived=true
+outlet.generate_once.directory=./test
+outlet.generate_once.hideLocalSyntheticVariables=true
+outlet.generate_once.installDslAsPrimarySource=false
+outlet.generate_once.keepLocalHistory=false
+outlet.generate_once.override=false

jdeeco-ensembles-intelligent-z3/pom.xml

@@ -2,7 +2,7 @@
   <modelVersion>4.0.0</modelVersion>
   <groupId>cz.cuni.mff.d3s.jdeeco.ensembles.intelligent.z3</groupId>
   <artifactId>cz.cuni.mff.d3s.jdeeco.ensembles.intelligent.z3</artifactId>
-  <version>3.0.2</version>
+  <version>3.0.3</version>
   <build>
     <sourceDirectory>src</sourceDirectory>
     <testSourceDirectory>test</testSourceDirectory>