ViewVC logotype

Log of /trunk/eweasel/tests/free007

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 101287 - Directory Listing
Modified Tue Jan 23 20:09:49 2018 UTC (19 months ago) by alexk
Added a class postcondition to a deferred feature defined as an external one in descendants.

Revision 101166 - Directory Listing
Modified Sun Dec 17 18:37:38 2017 UTC (20 months ago) by alexk
Replaced VSTA(2) error codes with VUNO.

Revision 101107 - Directory Listing
Modified Wed Dec 6 15:19:51 2017 UTC (20 months, 2 weeks ago) by alexk
Specified error subcode and line numbers in resulting errors.

Revision 101033 - Directory Listing
Added Fri Nov 10 14:26:02 2017 UTC (21 months, 1 week ago) by alexk
Added an example to demonstrate a crash caused by the missing check that an instance-free call to an external feature should ensure there are no inherited non-instance-free assertions.

  ViewVC Help
Powered by ViewVC 1.1.23