Module ImportFrom alias alias alias alias Import alias Import alias Import alias Import alias Import alias Import alias Assign AttributeStore NameLoad attr NameLoad ImportFrom alias Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str Str Str Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str Assign NameStore NameLoad FunctionDef arguments args NameParam defaults body Return Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str NameLoad decorator_list ClassDef bases AttributeLoad NameLoad attr body FunctionDef arguments args NameParam defaults body Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad decorator_list NameLoad FunctionDef arguments args NameParam defaults body Assign AttributeStore NameLoad attr Call AttributeLoad NameLoad attr keyword Str keyword Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam defaults vararg body TryExcept body Assign NameStore Call AttributeLoad Call AttributeLoad NameLoad attr keyword NameLoad keyword AttributeLoad NameLoad attr attr handlers ExceptHandler type AttributeLoad NameLoad attr name NameStore body Expr Call NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr Raise NameLoad Expr Call NameLoad NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam defaults NameLoad ListLoad Str Str NameLoad body Assign NameStore Call AttributeLoad NameLoad attr BinOpAdd BinOpAdd ListLoad NameLoad Call NameLoad NameLoad ListLoad Str BoolOpOr NameLoad AttributeLoad NameLoad attr Assign NameStore Call NameLoad GeneratorExp Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr NameLoad comprehension NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore IfExp CompareIn Str NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr BinOpAdd NameLoad Str NameLoad Assign NameStore IfExp CompareIn Str NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr BinOpAdd NameLoad Str NameLoad Assign NameStore Set NameLoad NameLoad If NameLoad body Assign NameStore IfExp CompareIn Str NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr BinOpAdd NameLoad Str NameLoad Assign NameStore IfExp CompareIn Str NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr BinOpAdd NameLoad Str NameLoad AugAssignBitOr NameStore Set NameLoad NameLoad orelse Assign NameStore NameLoad Assign NameStore NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad NameLoad Str Return TupleLoad NameLoad NameLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad NameLoad NameLoad body FunctionDef arguments args NameParam defaults body Return ListLoad NameLoad Str BinOpAdd BinOpAdd BoolOpOr NameLoad NameLoad Str NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return ListLoad NameLoad Str BinOpAdd BinOpAdd BoolOpOr NameLoad NameLoad Str NameLoad decorator_list Assign TupleStore NameStore NameStore NameStore NameStore NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Call NameLoad Str Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Call NameLoad Str If NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Call NameLoad Str Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Call NameLoad Str If NameLoad body Assign NameStore Call AttributeLoad SubscriptLoad NameLoad Slice Call AttributeLoad NameLoad attr Str attr Expr Call AttributeLoad NameLoad attr NameLoad NameLoad orelse Expr Call AttributeLoad NameLoad attr Str NameLoad Expr Call AttributeLoad NameLoad attr Str NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body If NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad NameLoad orelse Expr Call AttributeLoad NameLoad attr NameLoad Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Assign NameStore SubscriptLoad NameLoad Slice Call AttributeLoad NameLoad attr Str BinOpAdd Call AttributeLoad NameLoad attr Str Num Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call NameLoad Str Str Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call NameLoad Str Str Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str Str Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Call NameLoad Str Call NameLoad Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Call NameLoad Str Call NameLoad Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Str Call NameLoad Str Call NameLoad Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Call NameLoad Str Call NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Str Call NameLoad Str Call NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Call NameLoad Str Call NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Str Call NameLoad Str Call NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str Call NameLoad Str Call NameLoad Str Str Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Str Call NameLoad Str Call NameLoad Str keyword Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Str Call NameLoad Str Call NameLoad Str keyword Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str Str keyword Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str Call NameLoad Str Call NameLoad Str Str Str Str keyword Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str Call NameLoad Str Call NameLoad Str Str Str Str Str keyword Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Call NameLoad Str Call NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Str Str Call NameLoad Str Call NameLoad Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body Assign TupleStore NameStore NameStore NameStore NameStore NameStore Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str Str Str Str keyword Str keyword ListLoad keyword Str Assign NameStore Call AttributeLoad NameLoad attr NameLoad Str BinOpAdd Str Str Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str Str Str keyword Str keyword ListLoad Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str Str Str keyword Str keyword ListLoad Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Call NameLoad Str Str Str Str Str keyword Str keyword ListLoad Str Str decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr ListLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str keyword Str keyword Str decorator_list FunctionDef arguments args NameParam defaults body TryExcept body Expr Call AttributeLoad NameLoad attr ListLoad Str keyword Str handlers ExceptHandler type AttributeLoad NameLoad attr name NameStore body If CompareIn Str Call AttributeLoad AttributeLoad NameLoad attr attr body Expr Call AttributeLoad NameLoad attr Str orelse Raise decorator_list decorator_list
N/A __future__ absolute_import division print_function unicode_literals N/A os N/A shutil N/A subprocess N/A sys N/A tempfile N/A unittest N/A N/A sys dont_write_bytecode True benchexec util N/A here N/A N/A N/A os path dirname __file__ N/A base_dir N/A N/A N/A os path join here .. .. .. N/A bin_dir N/A N/A N/A os path join base_dir bin N/A tablegenerator N/A N/A N/A os path join bin_dir table-generator N/A OVERWRITE_MODE False result_file N/A N/A name N/A N/A N/A N/A N/A N/A os path join here results name N/A TableGeneratorIntegrationTests N/A N/A unittest TestCase N/A setUpClass N/A N/A cls N/A N/A N/A N/A cls longMessage True N/A N/A cls maxDiff None N/A classmethod setUp N/A N/A self N/A N/A N/A N/A self tmp N/A N/A tempfile mkdtemp prefix integration_test_tmp_ dir N/A N/A N/A os path dirname __file__ N/A tearDown N/A N/A self N/A N/A N/A N/A N/A shutil rmtree N/A self tmp N/A run_cmd N/A N/A self N/A args N/A N/A N/A N/A output N/A N/A N/A N/A subprocess check_output args args stderr N/A subprocess STDOUT decode N/A N/A N/A N/A subprocess CalledProcessError N/A e N/A N/A N/A print N/A N/A N/A e output decode N/A e N/A N/A print output N/A output N/A generate_tables_and_check_produced_files N/A N/A self args table_prefix diff_prefix formats output_path N/A None N/A html csv None N/A N/A output N/A N/A self run_cmd N/A N/A N/A tablegenerator N/A list args N/A --outputpath N/A output_path N/A self tmp N/A generated_files N/A set N/A N/A N/A N/A os path join N/A self tmp x N/A x N/A N/A os listdir N/A self tmp N/A csv_file N/A N/A csv formats N/A N/A N/A os path join N/A self tmp N/A table_prefix .csv None N/A html_file N/A N/A html formats N/A N/A N/A os path join N/A self tmp N/A table_prefix .html None N/A expected_files N/A csv_file html_file N/A diff_prefix N/A N/A csv_diff_file N/A N/A csv formats N/A N/A N/A os path join N/A self tmp N/A diff_prefix .csv None N/A html_diff_file N/A N/A html formats N/A N/A N/A os path join N/A self tmp N/A diff_prefix .html None N/A expected_files N/A csv_diff_file html_diff_file N/A N/A csv_diff_file None N/A html_diff_file None N/A N/A N/A expected_files discard None N/A N/A N/A self assertSetEqual generated_files expected_files Set of generated files differs from set of expected files N/A N/A output html_file html_diff_file csv_file csv_diff_file N/A generate_tables_and_compare_content N/A N/A self args table_prefix result_prefix diff_prefix result_diff_prefix expected_counts N/A None None None None N/A expected_file_name N/A N/A ending N/A N/A N/A N/A here expected N/A N/A N/A result_prefix table_prefix . ending N/A expected_diff_file_name N/A N/A ending N/A N/A N/A N/A here expected N/A N/A N/A result_diff_prefix diff_prefix . ending N/A N/A N/A output html_file html_diff_file csv_file csv_diff_file N/A N/A self generate_tables_and_check_produced_files args table_prefix diff_prefix N/A generated_csv N/A N/A util read_file csv_file N/A N/A N/A self assert_file_content_equals generated_csv N/A expected_file_name csv N/A generated_html N/A N/A self read_table_from_html html_file N/A N/A N/A self assert_file_content_equals generated_html N/A expected_file_name html N/A diff_prefix N/A N/A generated_csv_diff N/A N/A util read_file csv_diff_file N/A N/A N/A self assert_file_content_equals generated_csv_diff N/A expected_diff_file_name csv N/A generated_html_diff N/A N/A self read_table_from_html html_diff_file N/A N/A N/A self assert_file_content_equals generated_html_diff N/A expected_diff_file_name html N/A expected_counts N/A N/A counts N/A N/A N/A output N/A N/A N/A output find REGRESSIONS strip N/A N/A N/A self assertMultiLineEqual expected_counts counts N/A N/A N/A N/A self assertNotIn REGRESSIONS output N/A N/A N/A self assertNotIn STATS output N/A assert_file_content_equals N/A N/A self content file N/A N/A N/A OVERWRITE_MODE N/A N/A N/A N/A util write_file content file N/A N/A N/A N/A self assertMultiLineEqual content N/A N/A util read_file file N/A read_table_from_html N/A N/A self file N/A N/A N/A content N/A N/A util read_file file N/A content N/A content N/A N/A N/A content index <table id="dataTable"> N/A N/A N/A content index </table> 8 N/A content N/A test_simple_table N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml test.2015-03-03_1613.results.predicateAnalysis N/A test_simple_table_correct_only N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --correct-only N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml test.2015-03-03_1613.results.predicateAnalysis test.2015-03-03_1613.results.predicateAnalysis.correct-only N/A test_simple_table_all_columns N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --all-columns N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml test.2015-03-03_1613.results.predicateAnalysis test.2015-03-03_1613.results.predicateAnalysis.all-columns N/A test_simple_table_xml N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here simple-table.xml simple-table.table test.2015-03-03_1613.results.predicateAnalysis N/A test_simple_table_xml_with_columns N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here simple-table-with-columns.xml simple-table-with-columns.table N/A test_simple_table_xml_with_links N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here simple-table-with-links.xml simple-table-with-links.table N/A test_simple_table_xml_with_numberOfDigits N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here simple-table-with-numberOfDigits.xml simple-table-with-numberOfDigits.table N/A test_simple_table_xml_with_scaling N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here simple-table-with-scaling.xml simple-table-with-scaling.table N/A test_multi_table N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name predicateAnalysis N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml N/A result_file test.2015-03-03_1815.results.predicateAnalysis.xml table_prefix predicateAnalysis.table N/A test_multi_table_reverse N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name predicateAnalysis-reverse N/A result_file test.2015-03-03_1815.results.predicateAnalysis.xml N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml table_prefix predicateAnalysis-reverse.table N/A test_multi_table_no_diff N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name test.2015-03-03_1613 --no-diff N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml N/A result_file test.2015-03-03_1613.results.valueAnalysis.xml table_prefix test.2015-03-03_1613.table N/A test_multi_table_differing_files N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name test.2015-03-03_1613 N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml N/A result_file test.2015-03-03_1613.results.valueAnalysis.xml table_prefix test.2015-03-03_1613.table diff_prefix test.2015-03-03_1613.diff N/A test_multi_table_differing_files_common N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name test.2015-03-03_1613-common --common N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml N/A result_file test.2015-03-03_1613.results.valueAnalysis.xml table_prefix test.2015-03-03_1613-common.table diff_prefix test.2015-03-03_1613-common.diff N/A test_multi_table_differing_files_reverse N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name test.2015-03-03_1613-reverse N/A result_file test.2015-03-03_1613.results.valueAnalysis.xml N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml table_prefix test.2015-03-03_1613-reverse.table diff_prefix test.2015-03-03_1613-reverse.diff N/A test_multi_table_differing_files_correct_only N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name test.2015-03-03_1613-correct-only --correct-only N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml N/A result_file test.2015-03-03_1613.results.valueAnalysis.xml table_prefix test.2015-03-03_1613-correct-only.table diff_prefix test.2015-03-03_1613-correct-only.diff N/A test_big_table N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A N/A result_file integration-predicateAnalysis.2015-10-20_1355.results.xml.bz2 N/A result_file integration-predicateAnalysis.2015-10-22_1113.results.xml.bz2 N/A result_file integration-predicateAnalysis.2015-10-23_1348.results.xml.bz2 -n big-table table_prefix big-table.table diff_prefix big-table.diff N/A test_dump_count_single_table N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --dump N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml table_prefix test.2015-03-03_1613.results.predicateAnalysis expected_counts REGRESSIONS 0
STATS
3 1 0 N/A test_dump_count_single_table2 N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --dump N/A result_file test.2015-03-03_1613.results.valueAnalysis.xml table_prefix test.2015-03-03_1613.results.valueAnalysis expected_counts REGRESSIONS 0
STATS
2 0 1 N/A test_dump_count_multi_table N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name test.2015-03-03_1613 --dump N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml N/A result_file test.2015-03-03_1613.results.valueAnalysis.xml table_prefix test.2015-03-03_1613.table diff_prefix test.2015-03-03_1613.diff expected_counts REGRESSIONS 2
STATS
3 1 0
2 0 1 N/A test_dump_count_multi_table_reverse N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name test.2015-03-03_1613-reverse --dump N/A result_file test.2015-03-03_1613.results.valueAnalysis.xml N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml table_prefix test.2015-03-03_1613-reverse.table diff_prefix test.2015-03-03_1613-reverse.diff expected_counts REGRESSIONS 1
STATS
2 0 1
3 1 0 N/A test_dump_count2 N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here smt.xml --dump table_prefix smt.table diff_prefix smt.diff expected_counts REGRESSIONS 2
STATS
1 0 2
2 0 1 N/A test_dump_count_big_table N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A N/A result_file integration-predicateAnalysis.2015-10-20_1355.results.xml.bz2 N/A result_file integration-predicateAnalysis.2015-10-22_1113.results.xml.bz2 N/A result_file integration-predicateAnalysis.2015-10-23_1348.results.xml.bz2 -n big-table --dump table_prefix big-table.table diff_prefix big-table.diff expected_counts REGRESSIONS 4
STATS
338 8 136
315 8 161
321 8 155 N/A test_dump_count_big_table_ignore_flapping_timeout_regressions N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A N/A result_file integration-predicateAnalysis.2015-10-20_1355.results.xml.bz2 N/A result_file integration-predicateAnalysis.2015-10-22_1113.results.xml.bz2 N/A result_file integration-predicateAnalysis.2015-10-23_1348.results.xml.bz2 -n big-table --dump --ignore-flapping-timeout-regressions table_prefix big-table.table diff_prefix big-table.diff expected_counts REGRESSIONS 3
STATS
338 8 136
315 8 161
321 8 155 N/A test_multi_table_xml N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here multi-table.xml table_prefix multi-table.table diff_prefix multi-table.diff N/A test_multi_table_xml_with_columns N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here multi-table-with-columns.xml table_prefix multi-table-with-columns.table diff_prefix multi-table-with-columns.diff N/A test_multi_table_xml_with_wildcards N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here multi-table-with-wildcards.xml table_prefix multi-table-with-wildcards.table diff_prefix multi-table-with-wildcards.diff N/A test_union_table N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here union-table-predicateAnalysis.xml table_prefix union-table-predicateAnalysis.table N/A test_union_table2 N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here union-table-valueAnalysis.xml table_prefix union-table-valueAnalysis.table N/A test_union_table_different_result_order N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here union-table.xml table_prefix union-table.table diff_prefix union-table.diff N/A test_union_table_duplicate_results N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here union-table-duplicate-results.xml table_prefix union-table-duplicate-results.table diff_prefix union-table-duplicate-results.diff N/A test_union_table_multiple_results N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here union-table-multiple-results.xml table_prefix union-table-multiple-results.table diff_prefix union-table-multiple-results.diff N/A test_union_table_order_of_results N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here union-table-mixed.xml table_prefix union-table-mixed.table diff_prefix union-table-mixed.diff N/A test_simple_table_legacy N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A N/A result_file test.2015-03-03_1613.results.predicateAnalysis-legacy.xml table_prefix test.2015-03-03_1613.results.predicateAnalysis-legacy result_prefix test.2015-03-03_1613.results.predicateAnalysis N/A test_error_result N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name test-error.2015-03-03_1613 N/A result_file test-error.2015-03-03_1613.results.predicateAnalysis.xml N/A result_file test.2015-03-03_1613.results.valueAnalysis.xml table_prefix test-error.2015-03-03_1613.table diff_prefix test-error.2015-03-03_1613.diff N/A test_error_result_ignored N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A --name test.2015-03-03_1613.results.valueAnalysis --ignore-erroneous-benchmarks N/A result_file test-error.2015-03-03_1613.results.predicateAnalysis.xml N/A result_file test.2015-03-03_1613.results.valueAnalysis.xml table_prefix test.2015-03-03_1613.results.valueAnalysis.table N/A test_compressed_table_gzip N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml.gz table_prefix test.2015-03-03_1613.results.predicateAnalysis N/A test_compressed_table_bzip2 N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml.bz2 table_prefix test.2015-03-03_1613.results.predicateAnalysis N/A test_output_stdout N/A N/A self N/A N/A N/A N/A output _ _ _ _ N/A N/A self generate_tables_and_check_produced_files N/A N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml -f csv -q table_prefix test.2015-03-03_1613.results.predicateAnalysis formats N/A output_path - N/A expected N/A N/A util read_file here expected N/A test.2015-03-03_1613.results.predicateAnalysis .csv N/A N/A N/A self assertMultiLineEqual N/A N/A output strip expected N/A test_format_csv N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_check_produced_files N/A N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml -f csv table_prefix test.2015-03-03_1613.results.predicateAnalysis formats N/A csv N/A test_format_html N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_check_produced_files N/A N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml -f html table_prefix test.2015-03-03_1613.results.predicateAnalysis formats N/A html N/A test_format_csv_html N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_check_produced_files N/A N/A result_file test.2015-03-03_1613.results.predicateAnalysis.xml -f csv -f html table_prefix test.2015-03-03_1613.results.predicateAnalysis formats N/A csv html N/A test_smt_results N/A N/A self N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A -x N/A N/A N/A os path join here smt.xml table_prefix smt.table diff_prefix smt.diff N/A test_results_via_url N/A N/A self N/A N/A N/A N/A N/A N/A N/A self generate_tables_and_compare_content N/A https://sosy-lab.github.io/benchexec/example-table/cbmc.2015-12-11_1211.results.Simple.xml table_prefix cbmc.2015-12-11_1211.results.Simple N/A N/A N/A N/A subprocess CalledProcessError N/A e N/A N/A N/A HTTP Error N/A N/A N/A e output decode N/A N/A N/A N/A self skipTest HTTP access to GitHub failed N/A N/A N/A N/A