Reaction is executed without triggering

[a-sr]

In the following program, the reaction in ForwardFailure is executed without a justified triggering (failure is never set).

target C
reactor OnlySuccess {
    input start:bool
    output success:bool
    output failure:bool
    
    reaction (start)  -> success, failure {=
        lf_print("Create Success");
        lf_set(success, true);
    =}
}
reactor ForwardFailure {
    input in:bool
    output out:bool
    reaction (in) -> out {=
        lf_print("Forward Failure");
        lf_set(out, true);
    =}
}
reactor Sequence {
    input start:bool
    output success:bool
    output failure:bool
    s = new OnlySuccess();
    f = new ForwardFailure();
    start -> s.start
    s.success -> success
    s.failure -> f.in
    f.out -> failure
}
main reactor {
    s = new Sequence()
    reaction(startup) -> s.start {=
        lf_print("Start");
        lf_set(s.start, true);
    =}
// Uncommenting this reaction will fix the problem 
// ForwardFailure is no longer executed
//    reaction(s.success) {=
//        lf_print("Success");
//    =}
    reaction(s.failure) {=
        lf_print("Failure");
    =}
}

Produced output:

Start
Create Success
Forward Failure
Failure

The problem seems to relate to the fact that the output at the success port is not consumed. If uncommenting the reaction in the main reactor, the program yields the correct behavior:

Start
Create Success
Success

This issue may relate to the bug reported in #1433. There, an unused connection seems to be involve in the suppression of a reaction triggering.

[petervdonovan]

To me, this looks the same as #1321, which is still unresolved.

[edwardalee]

This is fixed with #2416.