From: <pcm...@us...> - 2007-12-18 03:06:31
|
Revision: 714 http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=714&view=rev Author: pcmehlitz Date: 2007-12-17 19:05:53 -0800 (Mon, 17 Dec 2007) Log Message: ----------- * apparently, the non-ASCII +- char for center-interval tests screwed up either BCEL or ANTLR or both. Modified the grammar, the test, and the contract class to replace it with "+-" Modified Paths: -------------- trunk/src/gov/nasa/jpf/test/Contract.java trunk/src/gov/nasa/jpf/test/ContractSpec.g trunk/src/gov/nasa/jpf/test/ContractSpecLexer.java trunk/src/gov/nasa/jpf/test/ContractSpecParser.java trunk/test/gov/nasa/jpf/test/TestContracts.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |