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

**Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161)
**Created:** 2010-06-29 01:05 UTC
**Views:** 1
**Replies:** 0
**URL:** https://discourse.openehr.org/t/ref-impl-eiffel-970-add-postconditions-and-unit-test-assertions-demonstrating-that-a-new-minimal-differential-archetype-was-created-in-an-invalid-state/13441

---

## Post #1 by @svn1

Revision: 970
Author:   peter\.gummer
Log Message:

---


**Canonical:** https://discourse.openehr.org/t/ref-impl-eiffel-970-add-postconditions-and-unit-test-assertions-demonstrating-that-a-new-minimal-differential-archetype-was-created-in-an-invalid-state/13441
**Original content:** https://discourse.openehr.org/t/ref-impl-eiffel-970-add-postconditions-and-unit-test-assertions-demonstrating-that-a-new-minimal-differential-archetype-was-created-in-an-invalid-state/13441