Iavor S. Diatchki
Results
42
comments of
Iavor S. Diatchki
Yeah, my current workaround is to provide the empty string, so I get the configuration for all plugins, and I adjusted my configuration parsing code to extract the relevant sections....
@NikolajBjorner these files are automatically generated by a tool. If this is not a bug, is there a guideline as to when we should pass this flag? Is there a...