Project

General

Profile

« Previous | Next » 

Revision 080482ac

ID080482ac4f1980764fbccc0821511a74cb21294a
Parent 9fb4b019
Child 3f073372

Added by Christoph Egger over 3 years ago

Consider expanable Cores (but not states)

Acceptance test for cores is ∃ which is safe to use when non or only
some child states are created tus far

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences