[ref_impl_eiffel] [970] Add postconditions and unit test assertions demonstrating that a new minimal differential archetype was created in an invalid state .

Reference Implementation: Eiffel (archive)

svn1 29 June 2010 01:05 1

Revision: 970
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [968] Add a unit test demonstrating a wrong postcondition when creating a new minimal differential archetype . Reference Implementation: Eiffel (archive)	0	1	27 June 2010
[ref_impl_eiffel] [1391] Add a unit test demonstrating that rebuilding a repository that had already been built violated a precondition that there must not be more compiled archetypes than the total number of archetypes in the repository . Reference Implementation: Eiffel (archive)	0	4	11 January 2011
[ref_impl_eiffel] [990] Add a unit test demonstrating a bugs in ARCHETYPE_DIRECTORY. add_adhoc_item: Reference Implementation: Eiffel (archive)	0	2	7 July 2010
[ref_impl_eiffel] [1011] TEST_DIFFERENTIAL_ARCHETYPE_ONTOLOGY was failing during instantiation because , now that we've enabled invariants, the invariants inherited from DIFFERENTIAL_ARCHETYPE were not being satisfied . Reference Implementation: Eiffel (archive)	0	0	16 July 2010
[ref_impl_eiffel] [566] AWB-14 - Change the test view to properly accommodate differential form archetypes and to ignore flat form archetypes. Reference Implementation: Eiffel (archive)	0	0	10 March 2008
[ref_impl_eiffel] [362] Fix some weak conditions in archetype validity checking. Reference Implementation: Eiffel (archive)	0	1	10 September 2007
[ref_impl_eiffel] [1012] Fix two unit tests that were failing because a precondition was failing. Reference Implementation: Eiffel (archive)	0	1	16 July 2010
[ref_impl_eiffel] [971] Add a missing postcondition. Reference Implementation: Eiffel (archive)	0	2	29 June 2010
[ref_impl_eiffel] [1351] Fix the ARCHETYPE_DIRECTORY unit tests. Reference Implementation: Eiffel (archive)	0	2	6 January 2011
[ref_impl_eiffel] [960] Fix a postcondition failure when flattening an archetype ontology. Reference Implementation: Eiffel (archive)	0	1	23 June 2010