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 7aca1c328b4c3bec7490f8d106983db48448ce2d (commit)
from a54b4d46d48430db1ebf0526dff3725d1dcbfcc7 (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 7aca1c328b4c3bec7490f8d106983db48448ce2d
Author: Tamara Dahlgren <dah...@ll...>
Date: Tue Nov 25 15:33:10 2014 -0800
Expanded example/test contracts and fixed issue with self-calls.
- Replaced preconditions with 'implies' operator with C equivalents and updated
test oracles accordingly.
- Do NOT generate contract checks when expressions include calls to the same
method. (This was being done for invariants but not for pre- and post-
conditions).
-----------------------------------------------------------------------
Summary of changes:
pcontracts/TODO | 9 +++--
pcontracts/include/ContractsProcessor.hpp | 2 +-
pcontracts/src/contracts/ContractsProcessor.cpp | 20 ++++++-----
pcontracts/src/examples/Knapsack-v2.cpp | 33 +++++++++++++++-----
pcontracts/src/examples/Makefile | 2 +-
pcontracts/src/examples/Makefile.trans | 16 +++++-----
pcontracts/src/examples/SimpleClass.cpp | 4 +-
pcontracts/src/examples/UnlabeledKnapsack-v2.cpp | 30 ++++++++++++-----
pcontracts/src/examples/simple.c | 2 +-
pcontracts/src/make_rose.inc | 2 +-
.../data/RoutineInstrumenter/Knapsack-v2.checks | 4 +-
.../data/RoutineInstrumenter/Knapsack-v2.mout.edg4 | 2 +-
.../UnlabeledKnapsack-v2.checks | 4 +-
.../UnlabeledKnapsack-v2.mout.edg4 | 2 +-
.../data/VisitInstrumenter/Knapsack-v2.checks | 4 +-
.../data/VisitInstrumenter/Knapsack-v2.mout.edg4 | 2 +-
.../VisitInstrumenter/UnlabeledKnapsack-v2.checks | 4 +-
.../UnlabeledKnapsack-v2.mout.edg4 | 2 +-
18 files changed, 89 insertions(+), 55 deletions(-)
hooks/post-receive
--
compose-hpc
|
