Output of modular counterexamples
XML output of execution path
Interpreter for new transition system
Warnings and errors from parser through event interface
Counterexample extraction from PDR
Merge pull request #77 from chsticksel/master

Counterexample output