AFifarek/SpeAR — pull request #8 by lgwagner (2014-12-02 18:05:49+00:00)
Title: adding Eclipse viewing of counterexamples

This will give you CEX viewing in Eclipse