gatb-core
gatb-core copied to clipboard
getDefaultProperties() bug
There is a bug in the getDefaultProperties() function https://github.com/GATB/gatb-core/blob/e0c9525d53ab0a8da9d07512858c826a98a12da0/gatb-core/src/gatb/tools/misc/impl/OptionsParser.cpp#L402
If we use an "OptionNoParam" to build an option that takes no parameters, it is always returned by getDefaultProperties(), I do not see any way to tell if this option should be default or not.
need help with it?
I worked around it by removing my OptionNoParam in SortingCount, so nothing urgent. I do not plan to fix this myself right now (digging into option visitors does not seem fun). So feel free to fix it, but only if you have nothing better to do :)