diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-01-12 13:35:45 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-01-15 11:02:35 +0000 |
| commit | 659da5e58b9a9c032a4127591796722120aa0c2f (patch) | |
| tree | f223691565a57e21668a1dcc2ad5ca0f822a06b5 /executor/executor_akaros.h | |
| parent | 551587c192ecb4df26fcdab775ed145ee69c07d4 (diff) | |
prog: restructure resource generation
If no matching resource was already present in the program, we used to
substitute a random value in ~50% of cases. That's not efficient.
Restructure the resource generation process so that, if there are no
other options, we generate a new resource in 80% cases and in the
remaining 20% we substitute an integer.
Diffstat (limited to 'executor/executor_akaros.h')
0 files changed, 0 insertions, 0 deletions