ViewVC logotype

Revision 86925

Jump to revision: Previous Next
Author: manus
Date: Mon Aug 1 22:50:42 2011 UTC (8 years, 5 months ago)
Changed paths: 3
Log Message:
Adapted code to detect that now we are triggering a precondition violation in `own_from_pointer' rather than accepting a null pointer and violating our invariant.

Changed paths

Path Details
Directorytrunk/eweasel/tests/lib038/Ace modified , text changed
Directorytrunk/eweasel/tests/lib038/tcf modified , text changed
Directorytrunk/eweasel/tests/lib038/test.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23