|
From: Eric B. <er...@us...> - 2011-09-28 12:03:34
|
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 "gobo-eiffel".
The branch, master has been updated
via e60b57390017a52d50127d3d105e038b03271932 (commit)
from 5df95b932a1efa2b6fd20fb83cc35b5f6a1c8667 (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 e60b57390017a52d50127d3d105e038b03271932
Author: Eric Bezault <er...@go...>
Date: Tue Sep 20 18:25:24 2011 +0200
Fixed bug with void-safety validity rules when a feature or an inline agent has a rescue clause.
-----------------------------------------------------------------------
Summary of changes:
.../tools/eiffel/compilation/et_feature_checker.e | 333 ++++++++++++++++++--
test/gelint/validity/vuta2/build.eant | 4 +
test/gelint/validity/vuta2/test6/aa.e | 36 +++
.../validity/vuta2/{test1 => test6}/build.eant | 6 +-
.../{vevi/test13 => vuta2/test6}/failed.gec | 0
.../{vevi/test13 => vuta2/test6}/failed.gelint | 0
test/gelint/validity/vuta2/test6/passed.gec | 2 +
test/gelint/validity/vuta2/test6/passed.gelint | 2 +
.../validity/vuta2/{test1 => test6}/passed.ise | 8 +-
.../validity/vuta2/{test3 => test6}/system.ecf | 0
.../{test_vuta2_test3.e => test_vuta2_test6.e} | 6 +-
11 files changed, 360 insertions(+), 37 deletions(-)
create mode 100644 test/gelint/validity/vuta2/test6/aa.e
copy test/gelint/validity/vuta2/{test1 => test6}/build.eant (81%)
copy test/gelint/validity/{vevi/test13 => vuta2/test6}/failed.gec (100%)
copy test/gelint/validity/{vevi/test13 => vuta2/test6}/failed.gelint (100%)
create mode 100644 test/gelint/validity/vuta2/test6/passed.gec
create mode 100644 test/gelint/validity/vuta2/test6/passed.gelint
copy test/gelint/validity/vuta2/{test1 => test6}/passed.ise (74%)
copy test/gelint/validity/vuta2/{test3 => test6}/system.ecf (100%)
copy test/gelint/validity/vuta2/{test_vuta2_test3.e => test_vuta2_test6.e} (90%)
hooks/post-receive
--
gobo-eiffel
|