[Added a test for pow2 with accum.
tobias@goedderz.info**20150316130407
 Ignore-this: da3988a509ff33d48117733f2c31ef2d
] hunk ./expl/Examples.hs 13
-data Nat = Z | S Nat deriving (Show)
+data Nat = Z | S Nat deriving (Show, Eq)
addfile ./tests/pow2-accum.bat
hunk ./tests/pow2-accum.bat 1
+:load expl/Examples.hs
+:set +simplify
+:set +accum
+:generalise pow2
+:test pow2 on "let toNat x = iterate S Z !! x in pow2 (toNat 4) == (toNat 16)"
+:test pow2 on "let toNat x = iterate S Z !! x in pow2 (toNat 5) == (toNat 32)"
+:test pow2 on "let toNat x = iterate S Z !! x in pow2 (toNat 6) == (toNat 64)"
+:quit
addfile ./tests/pow2-accum.out
hunk ./tests/pow2-accum.out 1
+
+  .___                   ._ ._             
+  |   | ____  ____ ._____| || |  ._       
+  |   |/ __ \/  _ \|  __ \ || | _| |__ 
+  |   / /_/  ) <_> )  | \/ || |/_   _/   
+  |___\___  /\____/|__|  |_||_|  |_|    
+     /_____/                v0.8
+
+Welcome to IgorII. 
+Running IgorII in batch mode with file: tests/pow2-accum.bat
+
+      [1m- - - - START SYNTHESIS WITH - - - -[0m
+
+Targets              'pow2'
+Background           <none>
+Simplified           True
+Greedy rule-splitting False
+Accumulators         True
+Enhanced             False
+Use paramorphisms    False
+Compare rec args     AWise
+DumpLog              False
+Debug                False
+Maximal tiers        0
+Maximal loops        -1
+
+      [1m- - - - - - - FINISHED - - - - - - -[0m
+
+             pow2         in 16     loops
+             
+
+                 [1mHYPOTHESIS 1 of 1[0m
+
+pow2 a0 = fun3 a0 (S Z)
+fun3 (Z) a0 = a0
+fun3 (S a0) a1 = fun3 a0 (fun3 a0 (S a1))
+
+Testing 1. hypothesis of: 'pow2'
+  let toNat x = iterate S Z !! x in pow2 (toNat 4) == (toNat 16)  ==  True
+
+Testing 1. hypothesis of: 'pow2'
+  let toNat x = iterate S Z !! x in pow2 (toNat 5) == (toNat 32)  ==  True
+
+Testing 1. hypothesis of: 'pow2'
+  let toNat x = iterate S Z !! x in pow2 (toNat 6) == (toNat 64)  ==  True
+
+...batch processing finished.
+Bye.