/[eiffelstudio]/trunk/eweasel/tests/scoop045/output
ViewVC logotype

Contents of /trunk/eweasel/tests/scoop045/output

Parent Directory Parent Directory | Revision Log Revision Log


Revision 96579 - (show annotations)
Wed Feb 4 10:06:26 2015 UTC (4 years, 11 months ago) by romanschmocker
File size: 407 byte(s)
Eweasel tests for SCOOP exception handling.

The tests are written against the new semantics
by Benjamin Morandi, and currently they all fail.
Initially the tests were part of a naster thesis 
at ETH by Florian Besser.

The patch also includes a test for a bug
(test#scoop041) where the behaviour in molten
and frozen code differs when evaluating a
precondition on a controlled object.



1 In {LOGGER}.log: Using first solution.
2 OK: At end of {CONTROLLER}.test_no_propagation.
3 In {LOGGER}.log: Using first solution.
4 OK: In body of {CONTROLLER}.test_late_propagation.
5 OK: In rescue of {CONTROLLER}.test_late_propagation.
6 In {LOGGER}.log: Using second solution.
7 In rescue of {LOGGER}.log.
8 OK: At end of {CONTROLLER}.test_accountability_transfer.
9 OK: At end of {CONTROLLER}.make.
10 Execution completed

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23