Adding sypet to repo
[Benchmarks_CSolver.git] / sypet / benchmarks / joda / 20 / TestSource.java
1 public static boolean test0() throws Throwable {                
2         return (daysOfMonth("2012/02", "yyyy/MM") == 29);       
3 }
4         
5 public static boolean test1() throws Throwable {
6         return (daysOfMonth("2014/03", "yyyy/MM") == 31);                                       
7 }
8         
9
10 public static boolean test() throws Throwable {
11                 
12     return test0() && test1();
13
14