Adding sypet to repo

[Benchmarks_CSolver.git] / sypet / benchmarks / joda / 19 / TestSource.java

diff --git a/sypet/benchmarks/joda/19/TestSource.java b/sypet/benchmarks/joda/19/TestSource.java
new file mode 100644 (file)
index 0000000..a2a3bf8
--- /dev/null
+++ b/sypet/benchmarks/joda/19/TestSource.java
@@ -0,0 +1,22 @@
+public static boolean test0() throws Throwable {
+                               
+               if (getDayFromString("2015/10/21", "yyyy/MM/dd") == 21)
+                       return true;
+               else
+                       return false;
+       }
+       
+       public static boolean test1() throws Throwable {
+
+               if (getDayFromString("2013/6/13", "yyyy/MM/dd") == 13)
+                       return true;
+               else
+                       return false;
+       }
+       
+       public static boolean test() throws Throwable {
+               
+               
+               return test0() && test1();
+
+       }