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
{{ message }}
This repository was archived by the owner on Oct 5, 2026. It is now read-only.
Repository navigation
This repository was archived by the owner on Oct 5, 2026. It is now read-only.
Multiple model parameter with same value result in multiple evaluations #220
When running the evaluation and specifying the same model multiple times currently the evaluation is run X amount of times for the model.
Example:
This runs the
symflower/symbolic-execution3 times with 5 runs as the model was 3 times specified as parameter.Question:
Do we want this behavior or should we
uniquethe list of models after parsing?