Adding sypet to repo

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

diff --git a/sypet/benchmarks/joda/21/TestSource.java b/sypet/benchmarks/joda/21/TestSource.java
new file mode 100644 (file)
index 0000000..0bb9149
--- /dev/null
+++ b/sypet/benchmarks/joda/21/TestSource.java
@@ -0,0 +1,14 @@
+public static boolean test0() throws Throwable {               
+       return (dayOfWeek("2015/11/10", "yyyy/MM/dd") == "Tuesday");    
+}
+       
+public static boolean test1() throws Throwable {
+       return (dayOfWeek("2015/11/11", "yyyy/MM/dd") == "Wednesday");                                  
+}
+       
+
+public static boolean test() throws Throwable {
+               
+    return test0() && test1();
+
+}