• Add a "mode" option to cfg file 

    Add a "mode" option on .cfg file to define whether you are going for a bmc or an induction proof
    @AlAlves
    AlAlves committed Aug 5, 2019
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    3d40d10