7 lines
425 B
Go
7 lines
425 B
Go
package main
|
|
|
|
// A failed unit is never silent (novox/hq issue 315, "how it is checked"): a module's failed unit raises
|
|
// the module's condition on the second statement, naming the unit; the machine's own failed units raise
|
|
// one finding for the machine, listing them, cleared when none is listed; an engine that says nothing of
|
|
// its units raises and clears nothing; and the gate never holds a send on the machine's own.
|