bendisposto/probparsers — pull request #1 by wysiib (2012-04-24 08:24:16+00:00)
Title: Develop

Implemented a few test cases for pragmas. Based on the BusPragma, AssertionPragmas and SymbolicPragmas machines.