improvement of benchmarks

demo/SoftTypingWithUniversalType.scala

@@ -23,7 +23,7 @@ object Implicit {
     require(isInt(u))
     u match {
       case UInt(i) => i
-      case _ => 0
+      //case _ => 0
     }
   }
 
@@ -36,11 +36,12 @@ object Implicit {
     require(isIntSet(u))
     u match {
       case UIntSet(s) => s
-      case _ => Set.empty[Int]
+      //case _ => Set.empty[Int]
     }
   }
 
   def sum(u1 : U, u2 : U) : U = {
+    require(isInt(u1) && isInt(u2))
     (u1 : Int) + u2
   } 
 

test/BVs.scala

@@ -6,7 +6,7 @@ object BVs {
   def size(l : List) : Int = {
     l match {
       case Nil() => 0
-      case Cons(_, xs) => 1 + size(xs)
+      case Cons(_, xs) => 1 + /* for "small" counter examples: */ 2 * size(xs)
     }
   } ensuring(_ >= 0) // smallest counter-example is a list of size Integer.MAX_VALUE, could take a while to find it :)