-- Executing: vcc /z3:/memory:4096 /time /f:main -p:"-IC:\ParTypesVCC-fix\include" /p:-IC:\ParTypes\workspace\rbuf_overflow\src-gen C:\ParTypes\workspace\rbuf_overflow\src\rbuf_overflow_partypes.c
Verification of main failed. [0.45]
C:\ParTypes\workspace\rbuf_overflow\src\rbuf_overflow_partypes.c(20,395) : error VC9500: Assertion '\thread_local_array((int*) (&rbuf), (unsigned) (2))' did not verify.
C:\ParTypes\workspace\rbuf_overflow\src\rbuf_overflow_partypes.c(16,642) : error VC9500: Assertion 'conformsIntArray(_data,(int*)(data), 2)' did not verify.
Verification errors in 1 function(s)
                         Total 0.877
                  FELT Visitor 0.237
                  Total Plugin 0.583
                       Prelude 0.089
                        Boogie 0.048
                    Boogie AST 0.000
                     Boogie AI 0.028
                Boogie Resolve 0.009
              Boogie Typecheck 0.036
                  VC Optimizer 0.000
           Boogie Verify Impl. 0.205
               Boogie Save BPL 0.000
                       Pruning 0.000
              AST transformers 0.110
Exiting with 3 (1 error(s).)
-- Execution time: 0.96 seconds
