diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-05-27 14:23:08 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-05-27 13:05:20 +0000 |
| commit | 8bbf94ce31b652c168de6ea784942b54ea09e80c (patch) | |
| tree | 55bb8625c738e8b917384334437a5cd83b8247b1 /executor | |
| parent | 3eba45d51db7adab6fb1d3c7e71d699ca6bea4b3 (diff) | |
prog: make minimization parameters explicit
Add an explicit parameter to only run call removal.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions