No reset on all-combinational behavior

[nbingham1]

Description

Behaviors that are only combinational (a cycle of inverters) aren't properly reset.

Steps to Reproduce

$ lm build -s loop.hse

observe no reset signals added

require driven, stable, noninterfering
a<1>->v1-
~a<1>->v1+
v1<1>->v0-
~v1<1>->v0+
v0<1>->a-
~v0<1>->a+

Expected Behavior

a should be reset low like so:

require driven, stable, noninterfering
a<1>->v1-
~a<1>->v1+
v1<1>->v0-
~v1<1>->v0+
Reset<1>|v0<1>->a-
~Reset<2>&~v0<2>->a+

Versions

• OS: Ubuntu 24.04.1 LTS
• Loom Version: v0.12.1

Supporting Files and Screenshots

loop.hse

a-;
*[ a+; a- ]