-- Executing: vcc /z3:/memory:4096 /time /f:main -p:"-IC:\ParTypesVCC-fix\include" /p:-IC:\ParTypes\workspace\collective_mismatch\src-gen C:\ParTypes\workspace\collective_mismatch\src\collective_mismatch.c
Verification of main failed. [0.41]
C:\ParTypes\workspace\collective_mismatch\src\collective_mismatch.c(16,215) : error VC9500: Assertion '0 > 0' did not verify.
C:\ParTypes\workspace\collective_mismatch\src\collective_mismatch.c(20,558) : error VC9500: Assertion '(0) == intArrayBcastRoot(_head)' did not verify.
C:\ParTypes\workspace\collective_mismatch\src\collective_mismatch.c(21,99) : error VC9500: Assertion 'reduceRoot(_head) == 0' did not verify.
C:\ParTypes\workspace\collective_mismatch\src\collective_mismatch.c(21,133) : error VC9500: Assertion 'reduceOp(_head) == MPI_SUM' did not verify.
C:\ParTypes\workspace\collective_mismatch\src\collective_mismatch.c(21,215) : error VC9500: Assertion '0 > 0' did not verify.
Verification errors in 1 function(s)
                         Total 0.845
                  FELT Visitor 0.241
                  Total Plugin 0.555
                       Prelude 0.088
                        Boogie 0.048
                    Boogie AST 0.000
                     Boogie AI 0.027
                Boogie Resolve 0.007
              Boogie Typecheck 0.034
                  VC Optimizer 0.000
           Boogie Verify Impl. 0.180
               Boogie Save BPL 0.000
                       Pruning 0.000
              AST transformers 0.120
Exiting with 3 (1 error(s).)
-- Execution time: 0.93 seconds
