
  .___                   ._ ._             
  |   | ____  ____ ._____| || |  ._       
  |   |/ __ \/  _ \|  __ \ || | _| |__ 
  |   / /_/  ) <_> )  | \/ || |/_   _/   
  |___\___  /\____/|__|  |_||_|  |_|    
     /_____/                v0.8

Welcome to IgorII. 
Running IgorII in batch mode with file: tests/multfst-accum.bat

      [1m- - - - START SYNTHESIS WITH - - - -[0m

Targets              'multfst'
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

             multfst      in 356     loops
             

                 [1mHYPOTHESIS 1 of 2[0m

multfst a0 = fun1 a0 []
fun1 [] a0 = a0
fun1 (a0 : a1) a2 = fun1 (fun4 (a0 : a1) a2) (a0 : a2)
fun4 [_] _ = []
fun4 (a0 : (_ : a2)) _ = a0 : a2



                 [1mHYPOTHESIS 2 of 2[0m

multfst [] = []
multfst (a0 : a1) = a0 : multfst (fun7 (a0 : a1))
fun7 [_] = []
fun7 (a0 : (_ : a2)) = a0 : a2

Testing 1. hypothesis of: 'multfst'
  multfst [0, 1, 2, 3, 4, 5]  ==  [0,0,0,0,0,0]

Testing 2. hypothesis of: 'multfst'
  multfst [0, 1, 2, 3, 4, 5]  ==  [0,0,0,0,0,0]

...batch processing finished.
Bye.
