Merge branch 'develop' of github.com:chsticksel/kind2 into develop
SMT trace to correct file in single process mode
Merge pull request #93 from chsticksel/develop

SMT trace to correct file in single process mode