[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: RE: [tag-discuss] RE: TA definition (formerly: surviving the winter break)
JD>...So here, should the TA also take care of telling how to cause the IUT to send M1 out ? I think that (most likely) there would be a separate TA that asserts that some behavior causes messages of type M1 to be sent out. That's how the assertions build on each other. .................David Marston
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]