diff options
Diffstat (limited to 'generator/generator_capitests.ml')
-rw-r--r-- | generator/generator_capitests.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/generator/generator_capitests.ml b/generator/generator_capitests.ml index 594c8676..b41e2889 100644 --- a/generator/generator_capitests.ml +++ b/generator/generator_capitests.ml @@ -720,6 +720,13 @@ and generate_test_command_call ?(expect_error = false) ?test test_name cmd = with Not_found -> failwithf "%s: in test, command %s was not found" test_name name in + (* If the call has optional args, fold them all together. We cannot + * test partial optional args yet. + *) + let style = + let ret, args, optargs = style in + ret, args@optargs in + if List.length (snd style) <> List.length args then failwithf "%s: in test, wrong number of args given to %s" test_name name; |