debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Added test cases for the new asterisk wildcard behaviour of the	Dan Liew	2015-10-31
\| \| \| \|	``-proc`` command line argument.
*	Try to unbreak the tests added in	Dan Liew	2015-06-28
\| \| \| \|	7f4e6b0fab58bb3028cd0f1734fc97b3feafefdf under Windows.
*	Fix issue #16 reported by @crazykt	Dan Liew	2015-06-28
	Previously when Boogie was passed the ``-proc:<NAME>`` argument on the command line it would verify any procedure whose name contained ``<NAME>`` which doesn't seem like correct behaviour. Now Boogie only tries to verify a procedure only if its name matches ``<NAME>`` exactly. I've added several test cases to check Boogie behaves as expected.