Output:
-- Executing: vcc /z3:/memory:4096 /time /f:main -p:"-Ic:\Users\zmanchun\Downloads\ParTypesVCC\include" /p:-IC:\ParTypes\workspace\msg\src-gen C:\ParTypes\workspace\msg\src\msg.c
Verification of main failed. [0.55]
C:\ParTypes\workspace\msg\src\msg.c(20,123) : error VC9500: Assertion 'messageFrom(_head) == 0' did not verify.
C:\ParTypes\workspace\msg\src\msg.c(20,158) : error VC9500: Assertion 'messageTo(_head) == _rank' did not verify.
C:\ParTypes\workspace\msg\src\msg.c(23,12) : error VC9500: Assertion 'isSkip(_protocol, _rank)' did not verify.
Verification errors in 1 function(s)
                         Total 2.008
                  FELT Visitor 0.262
                  Total Plugin 0.670
                       Prelude 0.067
                        Boogie 0.042
                    Boogie AST 0.000
                     Boogie AI 0.038
                Boogie Resolve 0.023
              Boogie Typecheck 0.017
                  VC Optimizer 0.000
           Boogie Verify Impl. 0.313
               Boogie Save BPL 0.000
                       Pruning 0.000
              AST transformers 0.105
Exiting with 3 (1 error(s).)
-- Execution time: 2.19 seconds
