From dda5a9889e432dc7e9efe71a39292073fa6f6c00 Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Wed, 10 Jan 2024 14:28:27 +0100 Subject: 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. --- sys/test/test.txt | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'sys/test') 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) -- cgit mrf-deployment