-
Virgile Prevosto authored
Determistic C translation is now a series of `if ... else if ... else ...` This avoids the need for auxiliary variables and inadvertently updating an auxiliary variable that is used in a subsequent test. Additionally, we have a marginally better ordering of tests wrt state numbering
5b976de6