OptionCollector reports only partial default value strings.

sosy-lab / java-common-lib

SoSy-Lab Java Common Library

https://www.sosy-lab.org

Apache License 2.0

12 stars 11 forks source link

OptionCollector reports only partial default value strings. #23

Open kfriedberger opened 6 years ago

kfriedberger commented 6 years ago

The process to extract default values for options from source code could be improved for severa ltypes of options. At least ImmutableSet(...) could be parsed, as it is currently not done in for some options in CPAchecker.