def generate_tables_and_check_produced_files(self, args, table_prefix,
                                                 diff_prefix=None,
                                                 formats=['html', 'csv'],
                                                 output_path=None):
        output = self.run_cmd(*[tablegenerator] + list(args) + ['--outputpath', output_path or self.tmp])
        generated_files = set(os.path.join(self.tmp, x) for x in os.listdir(self.tmp))

        csv_file = os.path.join(self.tmp, table_prefix + '.csv') if 'csv' in formats else None
        html_file = os.path.join(self.tmp, table_prefix + '.html') if formats in 'html' else None
        expected_files = {csv_file, html_file}
        if diff_prefix:
            csv_diff_file = os.path.join(self.tmp, diff_prefix + '.csv') if 'csv' in formats else None
            html_diff_file = os.path.join(self.tmp, diff_prefix + '.html') if 'html' in formats else None
            expected_files |= {csv_diff_file, html_diff_file}
        else:
            csv_diff_file = None
            html_diff_file = None

        expected_files.discard(None)
        self.assertSetEqual(generated_files, expected_files, 'Set of generated files differs from set of expected files')
        return output, html_file, html_diff_file, csv_file, csv_diff_file
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/tablegenerator/test/integration_test.py/TableGeneratorIntegrationTests.generate_tables_and_check_produced_files/swapped operands of `in`