-- Executing: vcc /z3:/memory:4096 /time /f:main -p:"-IC:\ParTypesVCC-fix\include" /p:-IC:\ParTypes\workspace\absolute_deadlock\src-gen C:\ParTypes\workspace\absolute_deadlock\src\absolute_deadlock_partypes.c
Verification of main failed. [0.41]
C:\ParTypes\workspace\absolute_deadlock\src\absolute_deadlock_partypes.c(12,114) : error VC9500: Assertion 'messageFrom(_head) == 0' did not verify.
C:\ParTypes\workspace\absolute_deadlock\src\absolute_deadlock_partypes.c(12,149) : error VC9500: Assertion 'messageTo(_head) == _rank' did not verify.
C:\ParTypes\workspace\absolute_deadlock\src\absolute_deadlock_partypes.c(12,231) : error VC9500: Assertion '0 > 0' did not verify.
Verification errors in 1 function(s)
                         Total 0.767
                  FELT Visitor 0.224
                  Total Plugin 0.494
                       Prelude 0.093
                        Boogie 0.049
                    Boogie AST 0.000
                     Boogie AI 0.024
                Boogie Resolve 0.008
              Boogie Typecheck 0.033
                  VC Optimizer 0.000
           Boogie Verify Impl. 0.163
               Boogie Save BPL 0.000
                       Pruning 0.000
              AST transformers 0.070
Exiting with 3 (1 error(s).)
-- Execution time: 0.83 seconds
