-
Jonathan Shahen authored
Lots of iterative work to find the bug....currently it looks like it is the NuSMV version 2.5.4 that is buggy, but these bug hunt changes do provide much needed cleanup to the code (see the singleton MohawkSettings)
61e4dd14