Changes between Version 3 and Version 4 of WikiStart


Ignore:
Timestamp:
Feb 21, 2015, 9:57:04 AM (7 years ago)
Author:
Maxim Reznik
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v3 v4  
    55  ​svn://forge.ada-ru.org/gela/trunk/
    66
     7
     8==  Testsuite Status ==
     9The project includes small test suite to run on subset of [http://www.ada-auth.org/acats.html ACATS].
     10There are two main tests:
     11 * ''def_name'' - checks result of Asis.Expressions.Corresponding_Name_Definition function
     12 * ''asis2xml'' - check result of [https://sourceforge.net/projects/asis2xml/ asis2xml] (with minor modifications)
     13We are working on expand the subset of ACATS where these tests success.
     14The progress is illustrated by next plot:
     15
     16[[Image(http://forge.ada-ru.org/gela/chrome/site/tests.png)]]
    717
    818== Trac Starting Points ==