From: T. D. <tld...@us...> - 2015-08-07 00:59:13
|
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 df5f66159015f80f9d97d1d2f1564dd9176b2204 (commit) from f4c869407bbea2d2e5cb0f9a7e78a9b8504c6ed5 (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 df5f66159015f80f9d97d1d2f1564dd9176b2204 Author: Tamara Dahlgren <dah...@ll...> Date: Thu Aug 6 17:56:14 2015 -0700 Resolved issues with postcondition checks for 'return 0;' statements. Also removed extraneous asterisks (comments) in SimpleClass.cpp's ensureValueInRange() postcondition expressions and updated the fiducial files for both the RoutineInstrumenter and VisitInstrumenter. ----------------------------------------------------------------------- Summary of changes: pcontracts/WARNING | 15 +++++++++------ pcontracts/src/contracts/RoseHelpers.cpp | 19 +++++++++++-------- pcontracts/src/examples/SimpleClass.cpp | 4 ++-- .../data/RoutineInstrumenter/SimpleClass.mout | 2 +- .../data/RoutineInstrumenter/SimpleClass.mout.edg4 | 3 ++- .../tests/data/VisitInstrumenter/SimpleClass.mout | 3 ++- .../data/VisitInstrumenter/SimpleClass.mout.edg4 | 3 ++- 7 files changed, 29 insertions(+), 20 deletions(-) hooks/post-receive -- compose-hpc |