Add fixme notices

colder · Feb 9, 2015 · d5a9f51 · d5a9f51
1 parent 59a2eaa
commit d5a9f51
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/testcases/repair/Numerical/Numerical1.scala b/testcases/repair/Numerical/Numerical1.scala
@@ -12,7 +12,7 @@ object Numerical {
     } else if (p%2 == 0) {
       power(base*base, p/2)
     } else {
-      power(base, p-1)
+      power(base, p-1) // fixme: Missing base*
     }
   } ensuring {
     res => ((base, p), res) passes {

diff --git a/testcases/repair/Numerical/Numerical2.scala b/testcases/repair/Numerical/Numerical2.scala
@@ -27,7 +27,7 @@ object Numerical {
     require(a > 0 && b > 0);
 
     if (a == b) {
-      1
+      1 // fixme: should be a
     } else if (a > b) {
       gcd(a-b, b)
     } else {

diff --git a/testcases/repair/Numerical/Numerical3.scala b/testcases/repair/Numerical/Numerical3.scala
@@ -42,7 +42,7 @@ object Numerical {
   def moddiv(a: Int, b: Int): (Int, Int) = {
     require(a >= 0 && b > 0);
     if (b > a) {
-      (1, 0)
+      (1, 0) // fixme: should be (a, 0)
     } else {
       val (r1, r2) = moddiv(a-b, b)
       (r1, r2+1)