Mercurial > hg > Members > kono > jpf-core
view .hgignore @ 22:cd7880ab73c7
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 | a9ada67f1799 |
children |
line wrap: on
line source
syntax: glob local.properties .version .idea/workspace.xml .idea/fileColors.xml .idea/uiDesigner.xml nbproject/private/* build/* dist/* tmp/* trace activity*.png *.class *.orig *~ *.DS_Store