You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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 :)
There is a bug in the getDefaultProperties() function
gatb-core/gatb-core/src/gatb/tools/misc/impl/OptionsParser.cpp
Line 402 in e0c9525
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.
The text was updated successfully, but these errors were encountered: