User:Arnofiva
- Member of the group integrating AutoTest into EiffelStudio
CDD TODO's
- When test class gets removed manually, update test suite
- When routine under test fails, not only display "test: exceptional" & "bad input" (not clear), but say that the exception is due to unsatisfied precondition!