kind2-mc/kind2 — pull request #160 by AdrienChampion (2014-10-20 13:17:33+00:00)
Title: Base and step now stop at flags.bmc_max.

Base was already stopping at bmc_max, moved the check before looping.
Step was not, it now does stop. The check is also before looping to the next k.