Example Isolation Specification

module genericIsolateconnect -> @sleep(60); fail(1,ETIMEDOUT)

bind -> @sleep(5); fail(-1,EADDRINUSE)

recv -> @sleep(1)

open -> @sleep(1)

end

Previous slide

Next slide

Back to first slide

View graphic version