jskri

How to use channels from a C API callback?

3

I want to use a C API in a pipeline of coroutines communicating through channels. This is my first try with coroutines and my knowledge of them is limited. The...

action labels and traces do not include action parameters

1

Consider the following spec: ```tla ---------------------- MODULE Test ------------------------- EXTENDS Naturals VARIABLES count Init == count = 0 Incr(N) == count' = count + N Next == Incr(1) \/ Incr(2)...