Sasa does not stop execution on the first legitimate state on unison
I would expect Sasa to stop at the first legitimate state as it does with Dijkstra ring. However, even on the make test
, it doesn't. As you can see, the second step is already legitimate, but the execution went through the whole 5 steps is had as timeout threshold. Maybe sasa should return an error when no legitimate state is encountered instead of exiting with 0 (except with an option maybe, otherwise the test2 would be unreproducible without an error).
$ make test1
sasa -l 5 fig41.dot -sd -rif
[sasa] The sasa random engine seed is set to 876107293
====> The Graph Diameter is 3
#inputs
#outputs "p1_c":int "p2_c":int "p3_c":int "p4_c":int "p5_c":int "p6_c":int "p7_c":int "p8_c":int "Enab_p1_g":bool "Enab_p2_g":bool "Enab_p3_g":bool "Enab_p4_g":bool "Enab_p5_g":bool "Enab_p6_g":bool "Enab_p7_g":bool "Enab_p8_g":bool "p1_g":bool "p2_g":bool "p3_g":bool "p4_g":bool "p5_g":bool "p6_g":bool "p7_g":bool "p8_g":bool
#seed 876107293
1 2 1 6 3 2 4 1 t f t t t f t t t f t t t f t t
2 2 2 2 2 2 2 2 t t t t t t t t t t t t t t t t
3 3 3 3 3 3 3 3 t t t t t t t t t t t t t t t t
4 4 4 4 4 4 4 4 t t t t t t t t t t t t t t t t
5 5 5 5 5 5 5 5 t t t t t t t t t t t t t t t t
6 6 6 6 6 6 6 6 t t t t t t t t t t t t t t t t
#q