-- Executing: vcc /z3:/memory:4096 /time /f:main -p:"-IC:\ParTypesVCC-fix\include" /p:-IC:\ParTypes\workspace\potential_deadlock\src-gen C:\ParTypes\workspace\potential_deadlock\src\potential_deadlock_partypes.c
Verification of main failed. [0.39]
C:\ParTypes\workspace\potential_deadlock\src\potential_deadlock_partypes.c(14,116) : error VC9500: Assertion 'messageFrom(_head) == _rank' did not verify.
C:\ParTypes\workspace\potential_deadlock\src\potential_deadlock_partypes.c(14,238) : error VC9500: Assertion '0 > 0' did not verify.
Verification errors in 1 function(s)
                         Total 0.797
                  FELT Visitor 0.235
                  Total Plugin 0.513
                       Prelude 0.087
                        Boogie 0.047
                    Boogie AST 0.000
                     Boogie AI 0.026
                Boogie Resolve 0.007
              Boogie Typecheck 0.033
                  VC Optimizer 0.000
           Boogie Verify Impl. 0.173
               Boogie Save BPL 0.000
                       Pruning 0.000
              AST transformers 0.083
Exiting with 3 (1 error(s).)
-- Execution time: 0.87 seconds
