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
The argument minR to intensify (implemented by the variable name min_config_calls) was removed in 0a1dff4
However, having the minR is helpful to prescribe a minimal number of calls for a configuration to be certain when discarding it, or for creating an example (see #1061).
Therefore, I suggest to add this flag again.
The text was updated successfully, but these errors were encountered:
The argument minR to intensify (implemented by the variable name
min_config_calls
) was removed in 0a1dff4However, having the minR is helpful to prescribe a minimal number of calls for a configuration to be certain when discarding it, or for creating an example (see #1061).
Therefore, I suggest to add this flag again.
The text was updated successfully, but these errors were encountered: