A rehearsal of a program, without a runtime: nothing happens unless the test does it. The test acts on what the current model shows, decides when each command runs and what each subscription sends, and reads the result at any point.
A rehearsal of a program, without a runtime: nothing happens unless the test does it. The test acts on what the current model shows, decides when each command runs and what each subscription sends, and reads the result at any point.