consolidate integration with cover

Author: peterschrammel

regression/cbmc-cover/consider_goals1/if_icmp1.class

@@ -0,0 +1,31 @@
+class if_icmp1
+{
+  private static void f() {
+    int i = 10;
+    int j = 11;
+    if (i == j) {
+      assert false;
+    }
+    if (i >= j) {
+      assert false;
+    }
+    if (j > i) {
+      assert true;
+    } else {
+      assert false;
+    }
+    if (j <= i) {
+      assert false;
+    }
+    if (j < i) {
+      assert false;
+    } else {
+      assert true;
+    }
+  }
+
+  public static void main(String[] args)
+  {
+    f();
+  }
+}

regression/cbmc-cover/consider_goals1/if_icmp1.java

@@ -0,0 +1,8 @@
+CORE
+if_icmp1.class
+--cover location --no-trivial-tests
+^EXIT=0$
+^SIGNAL=0$
+^\*\* 12 of 27 covered (44.4%)
+--
+^warning: ignoring

regression/cbmc-cover/consider_goals1/test.desc

@@ -0,0 +1,21 @@
+public class Person {
+
+  private int age;
+
+  //public method to get the age variable
+  public int getAge(){
+       return this.age;
+  }
+
+  //public method to set the age variable
+  public void setAge(int age){
+       this.age = age;
+  }
+
+  public static void main(String[] args) {
+    Person p = new Person();
+    p.setAge(10);
+    int x = p.getAge();
+  }
+}
+

regression/cbmc-cover/consider_goals2/Person.class

@@ -0,0 +1,8 @@
+CORE
+Person.class
+--cover location --no-trivial-tests
+^EXIT=0$
+^SIGNAL=0$
+^\*\* 4 of 4 covered (100.0%)
+--
+^warning: ignoring

regression/cbmc-cover/consider_goals2/Person.java

@@ -0,0 +1,28 @@
+public class Person {
+
+  private int age;
+
+  //public method to get the age variable
+  public int getAge(){
+       return this.age;
+  }
+
+  //public method to set the age variable
+  public void setAge(int age){
+       int smokedCigarettes = 3;
+       this.age = age;
+   
+       double averageCigarettesPerYear = smokedCigarettes * 1.0 / age;
+
+       if(averageCigarettesPerYear >= 7300.0) {
+            assert false;
+       }
+  }
+
+  public static void main(String[] args) {
+    Person p = new Person();
+    p.setAge(10);
+    int x = p.getAge();
+  }
+}
+

regression/cbmc-cover/consider_goals2/test.desc

@@ -0,0 +1,8 @@
+CORE
+Person.class
+--cover location --no-trivial-tests
+^EXIT=0$
+^SIGNAL=0$
+^\*\* 11 of 14 covered (78.6%)
+--
+^warning: ignoring