diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-01-10 14:28:27 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-01-11 14:13:27 +0000 |
| commit | dda5a9889e432dc7e9efe71a39292073fa6f6c00 (patch) | |
| tree | aff1da5e8b86de5f14c9482f7c983ec34b2060f4 /sys | |
| parent | 00f3cc59cbd59389deb590c4a852ea30d8c93499 (diff) | |
prog: prefer precise constructors
During resource argument generation, we used to randomly select one of
the matching resources. With so many descendants of fd, this becomes
quite inefficient and most of the time syzkaller fails to build correct
programs.
Give precise resource contructions priority. Experiment with other
resource types only in 1/3 of cases.
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/test/test.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sys/test/test.txt b/sys/test/test.txt index 2edb462d1..1b63cd525 100644 --- a/sys/test/test.txt +++ b/sys/test/test.txt @@ -927,3 +927,13 @@ test_args0 { test$output_res(arg ptr[out, test_args0]) test$optional_res(arg ptr[in, test_args1]) + +resource common[int32] +resource subtype_of_common[common] + +test$produce_common() common +test$also_produce_common() common +test$produce_subtype_of_common() subtype_of_common + +test$consume_common(val common) +test$consume_subtype_of_common(val subtype_of_common) |