Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / benchmarks / xml / 25 / TestSource.java

diff --git a/sypet-non-incremental/benchmarks/xml/25/TestSource.java b/sypet-non-incremental/benchmarks/xml/25/TestSource.java
new file mode 100644 (file)
index 0000000..5cd07e2
--- /dev/null
+++ b/sypet-non-incremental/benchmarks/xml/25/TestSource.java
@@ -0,0 +1,8 @@
+public static boolean test() throws Throwable {
+    java.lang.String url = "https://www.google.com/";
+    java.lang.String title = Source.getTitle(url);
+    if ("Google".equals(title))
+        return true;
+    else 
+        return false;
+}