diff options
| -rw-r--r-- | prog/resources_test.go | 1 | ||||
| -rw-r--r-- | sys/test/test.txt | 17 |
2 files changed, 16 insertions, 2 deletions
diff --git a/prog/resources_test.go b/prog/resources_test.go index 8db8dbd17..222e93c00 100644 --- a/prog/resources_test.go +++ b/prog/resources_test.go @@ -101,6 +101,7 @@ func TestTransitivelyEnabledCallsLinux(t *testing.T) { func TestGetInputResources(t *testing.T) { expectedRequiredResources := map[string]bool{ "required_res1": false, + "required_res2": false, } t.Parallel() diff --git a/sys/test/test.txt b/sys/test/test.txt index 85e3f4ac8..fed8d0f47 100644 --- a/sys/test/test.txt +++ b/sys/test/test.txt @@ -872,21 +872,34 @@ syz_r103_r104_s { resource optional_res1[int32] resource optional_res2[int32] resource required_res1[int32] +resource required_res2[int32] + +test_args4 { + a required_res2 +} + +test_args3 { + a required_res1 +} test_args2 { - a array[optional_res2] + a ptr[in, test_args3] + b array[optional_res2] } test_args1 { + a0 ptr64[out, test_args4] a1 ptr64[in, array[optional_res1], opt] a2 ptr64[in, test_args2, opt] - a3 ptr64[in, required_res1] + a3 ptr64[in, test_args3] + a4 ptr64[in, test_args4] } test_args0 { a1 optional_res1 a2 optional_res2 a3 required_res1 + a4 required_res2 } test$output_res(arg ptr[out, test_args0]) |