diff --git a/testcases/synthesis/FastExp.scala b/testcases/synthesis/FastExp.scala new file mode 100644 index 0000000000000000000000000000000000000000..9ea39a1d660d4c8b34ee41cb2d242ea6e065c27f --- /dev/null +++ b/testcases/synthesis/FastExp.scala @@ -0,0 +1,15 @@ +import leon.Utils._ + +object FastExp { + + def fp(m : Int, b : Int, i : Int) : Int = i match { + case 0 => m + case 2 * j => fp(m, b*b, j) + case 2 * j + 1 => fp(m*b, b*b, j) + } + + def pow(base: Int, p: Int) = { + fp(1, base, p) + } + +}