update health check synth code to reflect new evidence format

trishullab · Jul 16, 2017 · c263666 · c263666
1 parent 8b1fb5d
commit c263666
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/.../rice/cs/caper/bayou/application/api_synthesis_server/ApiSynthesisHealthCheckServlet.java b/.../rice/cs/caper/bayou/application/api_synthesis_server/ApiSynthesisHealthCheckServlet.java
@@ -62,12 +62,12 @@ protected void doGet(HttpServletRequest req, HttpServletResponse resp)
 
             String code = "import edu.rice.cs.caper.bayou.annotations.Evidence;\n" +
                     "\n" +
-                    "public class TestIO {\n" +
-                    "\n" +
-                    "    @Evidence(keywords = \"read buffered line from the file\")\n" +
-                    "    void __bayou_fill(String file) {\n" +
-                    "    }\n" +
+                    "public class TestIO1 {\n" +
                     "\n" +
+                    "    // Read from a file\n" +
+                    "    void read(String file) {\n" +
+                    "        Evidence.apicalls(\"readLine\");\n" +
+                    "    }   \n" +
                     "}";
 
             Iterable<String> results = _synthesisStrategy.synthesise(code);