3 ms·
enum program_state { X_W, Y_X_W, Z, W, Z_W, Z_X_W, } You only have these 6 options. And in this case you can easily use a SAT solver
by aiono 2y ago
enum program_state {
X_W,
Y_X_W,
Z,
W,
Z_W,
Z_X_W,
}
You only have these 6 options. And in this case you can easily use a SAT solver to generate the cases for you so that you don't have to write them by hand.