aboutsummaryrefslogtreecommitdiff
path: root/src/testgenerator/.settings
diff options
context:
space:
mode:
authorJoachim StroĢˆmbergson <joachim@secworks.se>2015-04-23 11:25:10 +0200
committerJoachim StroĢˆmbergson <joachim@secworks.se>2015-04-23 11:25:10 +0200
commit7a6c9b5eb5a3d27be80c68eab583bd05e45bd310 (patch)
tree84b354a84d31533e404612ea19233f57e8909c17 /src/testgenerator/.settings
parent868b1ce72e4459f333aaac24de0b1db428143b0d (diff)
Adding a generator for tests to the modexp model and core.
Diffstat (limited to 'src/testgenerator/.settings')
-rw-r--r--src/testgenerator/.settings/org.eclipse.jdt.core.prefs11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/testgenerator/.settings/org.eclipse.jdt.core.prefs b/src/testgenerator/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000..7341ab1
--- /dev/null
+++ b/src/testgenerator/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,11 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
+org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate
+org.eclipse.jdt.core.compiler.debug.localVariable=generate
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.7