[COMPOSE-HPC-Commits] compose-hpc branch master updated. 4f3b26f9d5408a579309496e2a9647110881e774

[T. D. <tld...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "compose-hpc".

The branch, master has been updated
       via  4f3b26f9d5408a579309496e2a9647110881e774 (commit)
      from  d04233a4e1d6c85c53fb9de92d617d7f47ac4265 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 4f3b26f9d5408a579309496e2a9647110881e774
Author: T. Dahlgren <dah...@ll...>
Date:   Tue Apr 23 19:23:31 2013 -0700

    Snapshot of latest contracts instrumentation work -- mostly testing.
    
    Was able to determine my installation of ROSE does NOT provide visit()
    with an AST node for the 'return 0;' associated with the in-lined
    'CONTRACT FINAL' annotation in the helloworld-v2.cc example.  Consequently,
    the corresponding finalization call is not instrumented.  Added
    helloworld-v3.cc example to illustrate that a simple print to illustrate
    a case where a node with the associated contract annotation does result
    in the finialization call being instrumented as desired.
    
    Summary of Changes:
    - Added helloworld-v3.cc (for illustrating inlined CONTRACT FINAL);
    - Added oracle-based test cases for instrumentation of example;
    - Completed support for overall (examples) test suite status reporting
      (when using 'make check');
    - Revised assorted error message formatting.

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

Summary of changes:
 pcontracts/README                                  |    6 +-
 pcontracts/TODO                                    |    7 +--
 .../src/data/RoutineInstrumenter/Knapsack.res      |    7 ++
 .../data/RoutineInstrumenter/UnlabeledKnapsack.res |    7 ++
 .../src/data/RoutineInstrumenter/helloworld-v2.res |    7 ++
 .../src/data/RoutineInstrumenter/helloworld-v3.res |    7 ++
 .../src/data/RoutineInstrumenter/helloworld.res    |    7 ++
 .../src/data/RoutineInstrumenter/knapsack.res      |    7 ++
 .../data/RoutineInstrumenter/unlabeledknapsack.res |    7 ++
 pcontracts/src/data/VisitInstrumenter/Knapsack.res |    7 ++
 .../data/VisitInstrumenter/UnlabeledKnapsack.res   |    7 ++
 .../src/data/VisitInstrumenter/helloworld-v2.res   |    7 ++
 .../src/data/VisitInstrumenter/helloworld-v3.res   |    7 ++
 .../src/data/VisitInstrumenter/helloworld.res      |    7 ++
 pcontracts/src/data/VisitInstrumenter/knapsack.res |    7 ++
 .../data/VisitInstrumenter/unlabeledknapsack.res   |    7 ++
 pcontracts/src/examples/ContractsProcessor.cpp     |   10 ++--
 pcontracts/src/examples/Knapsack.cpp               |    4 +-
 pcontracts/src/examples/Makefile                   |   61 ++++++++++++++++----
 pcontracts/src/examples/Makefile.trans             |    6 ++-
 .../src/examples/RoutineContractInstrumenter.cpp   |    4 +-
 .../src/examples/VisitContractsInstrumenter.cpp    |   15 +++--
 pcontracts/src/examples/helloworld-v2.cc           |   10 +++-
 .../{helloworld-v2.cc => helloworld-v3.cc}         |   19 +++++--
 pcontracts/src/runtime/ContractsEnforcer.h         |    4 +-
 25 files changed, 199 insertions(+), 45 deletions(-)
 create mode 100644 pcontracts/src/data/RoutineInstrumenter/Knapsack.res
 create mode 100644 pcontracts/src/data/RoutineInstrumenter/UnlabeledKnapsack.res
 create mode 100644 pcontracts/src/data/RoutineInstrumenter/helloworld-v2.res
 create mode 100644 pcontracts/src/data/RoutineInstrumenter/helloworld-v3.res
 create mode 100644 pcontracts/src/data/RoutineInstrumenter/helloworld.res
 create mode 100644 pcontracts/src/data/RoutineInstrumenter/knapsack.res
 create mode 100644 pcontracts/src/data/RoutineInstrumenter/unlabeledknapsack.res
 create mode 100644 pcontracts/src/data/VisitInstrumenter/Knapsack.res
 create mode 100644 pcontracts/src/data/VisitInstrumenter/UnlabeledKnapsack.res
 create mode 100644 pcontracts/src/data/VisitInstrumenter/helloworld-v2.res
 create mode 100644 pcontracts/src/data/VisitInstrumenter/helloworld-v3.res
 create mode 100644 pcontracts/src/data/VisitInstrumenter/helloworld.res
 create mode 100644 pcontracts/src/data/VisitInstrumenter/knapsack.res
 create mode 100644 pcontracts/src/data/VisitInstrumenter/unlabeledknapsack.res
 copy pcontracts/src/examples/{helloworld-v2.cc => helloworld-v3.cc} (55%)


hooks/post-receive
-- 
compose-hpc