ID:199009 Use --gen_testbench when generating test bench files
CAUSE: You tried to use the --vector_source
or --testbench_file
or --check_outputs
options but you did not specify the --gen_testbench
option. You must use the --gen_testbench
option to enable test bench file generation.
ACTION: Make sure you specify the --gen_testbench
option when generating test bench files.