Adding sypet to repo

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

diff --git a/sypet/benchmarks/joda/20/TestSource.java b/sypet/benchmarks/joda/20/TestSource.java
new file mode 100644 (file)
index 0000000..5150703
--- /dev/null
+++ b/sypet/benchmarks/joda/20/TestSource.java
@@ -0,0 +1,14 @@
+public static boolean test0() throws Throwable {               
+       return (daysOfMonth("2012/02", "yyyy/MM") == 29);       
+}
+       
+public static boolean test1() throws Throwable {
+       return (daysOfMonth("2014/03", "yyyy/MM") == 31);                                       
+}
+       
+
+public static boolean test() throws Throwable {
+               
+    return test0() && test1();
+
+}