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

Log of /trunk/eweasel/tests/incr283

View Directory Listing Directory Listing


Sticky Revision:

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

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


Revision 76051 - Directory Listing
Modified Wed Dec 3 06:17:10 2008 UTC (10 years, 9 months ago) by manus
Reverted back to report the VTCG error since the compiler check type validity at degree 4 like before.


Revision 71293 - Directory Listing
Modified Fri Nov 30 05:17:46 2007 UTC (11 years, 9 months ago) by manus
Added missing svn:eol-style native property.


Revision 70571 - Directory Listing
Modified Sun Oct 14 15:23:20 2007 UTC (11 years, 11 months ago) by manus
Adapted to the order in which the compiler will report error (strangely it seems to
  report a different order if the compiler is finalized from scratch or not).


Revision 70529 - Directory Listing
Modified Tue Oct 9 00:50:51 2007 UTC (11 years, 11 months ago) by manus
Adapted to compiler changes that reports all the errors at degree 3 instead of degree 4 when types
  in signatures are not valid.


Revision 70492 - Directory Listing
Modified Thu Oct 4 18:53:15 2007 UTC (11 years, 11 months ago) by manus
New tests mostly related to show issues found now that compiler can report more than one error
  per compilation degree.


Revision 70443 - Directory Listing
Modified Fri Sep 28 19:18:04 2007 UTC (11 years, 11 months ago) by manus
Updated tcf files to reflect the new order in which the compiler reports errors.
Note that this is going to change when we can report more than one error at degree 4.


Revision 68685 - Directory Listing
Modified Sat May 26 00:49:25 2007 UTC (12 years, 3 months ago) by manus
Updated to match compiler result which is now supposed to be correct.


Revision 68621 - Directory Listing
Modified Wed May 23 22:30:34 2007 UTC (12 years, 4 months ago) by martins
* changed* Changed erros from VTGD to VTCG
* Added new expanded tests
* Added new multicon tests

Revision 67818 - Directory Listing
Modified Wed Apr 11 23:02:44 2007 UTC (12 years, 5 months ago) by martins
* Updates for existing eweasel tests
* test#valid208 implements bug#12464

Revision 67769 - Directory Listing
Added Sat Apr 7 01:32:04 2007 UTC (12 years, 5 months ago) by martins
Several new tests for multi-constraint formals.
test#incr283 is related to bug#12455

  ViewVC Help
Powered by ViewVC 1.1.23