geyang
diff --git a/‎.idea/Zaku.iml
+7-1 b/‎.idea/Zaku.iml
+7-1
diff --git a/‎.idea/misc.xml
+1-1 b/‎.idea/misc.xml
+1-1
diff --git a/‎.run/run all tests.run.xml renamed to ‎.run/tests-ge.run.xml
+4-1 b/‎.run/run all tests.run.xml renamed to ‎.run/tests-ge.run.xml
+4-1
@@ -1,9 +1,12 @@
 <component name="ProjectRunConfigurationManager">
-  <configuration default="false" name="run all tests" type="tests" factoryName="Autodetect">
+  <configuration default="false" name="tests-ge" type="tests" factoryName="Autodetect">
     <module name="Zaku" />
     <option name="ENV_FILES" value="" />
     <option name="INTERPRETER_OPTIONS" value="" />
     <option name="PARENT_ENVS" value="true" />
+    <envs>
+      <env name="ZAKU_URI" value="http://escher.csail.mit.edu:8100" />
+    </envs>
     <option name="SDK_HOME" value="" />
     <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$/specs" />
     <option name="IS_MODULE_SDK" value="true" />