[ref_impl_eiffel] [968] Add a unit test demonstrating a wrong postcondition when creating a new minimal differential archetype .

Reference Implementation: Eiffel (archive)

svn1 27 June 2010 05:16 1

Revision: 968
Author: peter.gummer
Log Message:

Topic		Replies	Views	Activity
[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)	0	1	29 June 2010
[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] [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] [971] Add a missing postcondition. Reference Implementation: Eiffel (archive)	0	2	29 June 2010
[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] [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] [868] Add a test demonstrating a bug in INTERVAL.is_equal. Reference Implementation: Eiffel (archive)	0	0	24 May 2009
[ref_impl_eiffel] [698] Add a postcondition. Reference Implementation: Eiffel (archive)	0	1	5 September 2008
[ref_impl_eiffel] [960] Fix a postcondition failure when flattening an archetype ontology. Reference Implementation: Eiffel (archive)	0	1	23 June 2010
[ref_impl_eiffel] [1351] Fix the ARCHETYPE_DIRECTORY unit tests. Reference Implementation: Eiffel (archive)	0	2	6 January 2011