ImportSample.tdltx

Package ImportSample {
    Import all from Sample
    //example test description
    Test exampleImported uses base {
        terminate
        tester::interface sends "hello" {string} to sut::interface
        //example constraint violation
        tester::interface sends r to sut::interface
        //tester::interface sends f to sut::interface
    }
}