/[eiffelstudio]/trunk/eweasel/tests/attach045
ViewVC logotype

Log of /trunk/eweasel/tests/attach045

View Directory Listing Directory Listing


Sticky Revision:

Revision 103101 - Directory Listing
Modified Mon Apr 29 14:01:20 2019 UTC (3 months, 3 weeks ago) by alexk
Updated tests to use the new default for total order on real numbers.

Revision 99966 - Directory Listing
Modified Mon Mar 13 12:51:15 2017 UTC (2 years, 5 months ago) by alexk
Updated the test to take into account that inherited preconditions should not be used to compute attachment status of arguments in complete void safety mode.

Revision 98912 - Directory Listing
Modified Wed Jun 15 12:18:40 2016 UTC (3 years, 2 months ago) by manus
To avoid manually fixing the C compiler configuration file, all Ace files are now compiled in console mode.


Revision 77152 - Directory Listing
Modified Fri Feb 13 20:11:19 2009 UTC (10 years, 6 months ago) by manus
Added PRECOMPILED_BASE_SAFE so that some of the void-safe test are faster to compile. Removed useless
  C compilation phase.


Revision 76835 - Directory Listing
Added Mon Jan 26 14:03:33 2009 UTC (10 years, 6 months ago) by alexk
Added an example when void-safe code is not detected because inherited preconditions are involved.

  ViewVC Help
Powered by ViewVC 1.1.23