From: <ubn...@us...> - 2008-05-15 18:35:27
|
Revision: 849 http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=849&view=rev Author: ubnepvpb Date: 2008-05-15 11:35:24 -0700 (Thu, 15 May 2008) Log Message: ----------- Bug in checking for static fields annotated with "@Symbolic": "fields" should have been "staticFields" in the boolean case. Modified Paths: -------------- trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |