diff options
| -rwxr-xr-x | src/generator.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/generator.ml b/src/generator.ml index a7135a79..1206be22 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -6644,6 +6644,8 @@ and generate_test_command_call ?(expect_error = false) ?test test_name cmd = | Int64 _, _ | Bool _, _ | FileIn _, _ | FileOut _, _ -> () + | StringList n, "" | DeviceList n, "" -> + pr " const char *const %s[1] = { NULL };\n" n | StringList n, arg | DeviceList n, arg -> let strs = string_split " " arg in iteri ( |