villiros

Undefined variable with WF in submodules (and SelectSeq)

3

This spec ```tla ---- MODULE wf_seq_test ---- EXTENDS Sequences, Naturals VARIABLES outerRes, outerSeq ---- MODULE inner ---- VARIABLES res, myseq Step == /\ res = 0 /\ res' = 1...

The net_kernel:setopts call can deadlock the net_kernel process.

2

**Describe the bug** The `net_kernel:setopts(new, ...)` can deadlock the `net_kernel` process permanently. This happens if the call is made concurrently with an incoming dist connection handshake. **To Reproduce** With the...