-- Executing: vcc /z3:/memory:4096 /time /f:main -p:"-IC:\ParTypesVCC-fix\include" /p:-IC:\ParTypes\workspace\type_mismatch\src-gen C:\ParTypes\workspace\type_mismatch\src\type_mismatch_p2p_partypes.c
Verification of main succeeded. [0.53]
                         Total 0.997
                  FELT Visitor 0.227
                  Total Plugin 0.722
                       Prelude 0.110
                        Boogie 0.049
                    Boogie AST 0.000
                     Boogie AI 0.028
                Boogie Resolve 0.008
              Boogie Typecheck 0.036
                  VC Optimizer 0.000
           Boogie Verify Impl. 0.231
               Boogie Save BPL 0.000
                       Pruning 0.000
              AST transformers 0.106
-- Execution time: 1.7 seconds
