Created on 2020-11-10.00:00:00 last changed 2 months ago
[ 2020-11-21; Reflector prioritization ]
Set priority to 3 during reflector discussions.
[syncstream.syncbuf.members] p2 says:
Postconditions: On success, the associated output is empty.
Are there any postconditions on failure? If part of the associated output was written, is that part still in the associated output? Will another call to emit() duplicate that part?
|2020-11-21 14:02:41||admin||set||messages: + msg11622|