================================ TASS Error Log ================================
       specification : meanSpec (numProcs = 1)
      specSourceFile : examples/collectiveAssert/meanSpec.c
      implementation : meanImpl (numProcs = 1)
      implSourceFile : examples/collectiveAssert/meanImpl.c
                mode : COMPARE
              prover : CVC3
            deadlock : ABSOLUTE
           reduction : URGENT
            simplify : true
      simplifyProver : false
         bufferBound : 10
             verbose : true
         loop method : false
   collectiveAsserts : true
          repository : examples/collectiveAssert/TASSREP
            frontend : MINIMP
          errorBound : 1
             N_BOUND = 3


Number of errors reported........... 1
Number of distinct errors........... 1

--------------------------------------------------------------------------------

Error 0: Execution error (kind: ASSERTION_VIOLATION, certainty: PROVEABLE)
Out of order collective assertion: Process 0 of model meanImpl arrived at assertion:
Collective Assertion of meanImpl.c 16.26--16.45: "C x*(i+1) == spec.x" (1 processes)
Expected to see assertion:
Collective Assertion of meanSpec.c 16.26--16.32: "X true" (2 processes)
 with:
  Process 0 at location 3: meanSpec.c 16.26--16.32: "X true"
  Process 1 at location 3: meanImpl.c 16.26--16.45: "C x*(i+1) == spec.x"

Trace logged in meanSpec_meanImpl.trace

--------------------------------------------------------------------------------
