Mercurial > hg > Members > kono > jpf-core

diff src/main/gov/nasa/jpf/vm/NoUncaughtExceptionsProperty.java @ 22:cd7880ab73c7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed JPF_.._Verify.registerChoiceGenerator() to not break and ignore the transition if there are no choices, but to just return the provided default value. Thanks to Pascal Kessell for reporting added a .include_null option for the TypedObjectChoice CG. If it is set (default) 'null' is included in the choice set added a dedicated reg test for TypedObjectChoice, removed the one in DataChoiceTest
author Peter Mehlitz <pcmehlitz@gmail.com>
date Tue, 14 Apr 2015 15:01:25 -0700
parents 61d41facf527
children
line wrap: on
line diff