iagapov
diff --git a/‎.project
+18 b/‎.project
+18
diff --git a/‎.pydevproject
+11 b/‎.pydevproject
+11
diff --git a/‎tests/s2e/flash/elegant_old/FLASH_S2E_flo.txt
+1,066 b/‎tests/s2e/flash/elegant_old/FLASH_S2E_flo.txt
+1,066
@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>desy</name>
+	<comment></comment>
+	<projects>
+		<project>ocelot</project>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.python.pydev.PyDevBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.python.pydev.pythonNature</nature>
+	</natures>
+</projectDescription>
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<?eclipse-pydev version="1.0"?><pydev_project>
+<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
+<path>/${PROJECT_DIR_NAME}</path>
+</pydev_pathproperty>
+<pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property>
+<pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property>
+<pydev_pathproperty name="org.python.pydev.PROJECT_EXTERNAL_SOURCE_PATH">
+<path>D:\Eclipse\EclipseWorkspace</path>
+</pydev_pathproperty>
+</pydev_project>