Adding sypet to repo

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

diff --git a/sypet/benchmarks/joda/18/TestSource.java b/sypet/benchmarks/joda/18/TestSource.java
new file mode 100644 (file)
index 0000000..9b2f624
--- /dev/null
+++ b/sypet/benchmarks/joda/18/TestSource.java
@@ -0,0 +1,15 @@
+public static boolean test0() throws Throwable {
+       return (isLeapYear(2000) == true);
+}
+
+public static boolean test1() throws Throwable {
+       return (isLeapYear(1900) == false);
+}
+
+public static boolean test2() throws Throwable {
+       return (isLeapYear(2011) == false);
+}
+
+public static boolean test() throws Throwable {
+       return test0() && test1() && test2();
+}
\ No newline at end of file