def read_results_no_none_test(): _, df = svcomp15.svcomp_xml_to_dataframe( 'static/results-xml-raw/cbmc.14-12-04_1241.results.sv-comp15.mixed-examples.xml' ) for __, series in df.iterrows(): for ___, value in series.iteritems(): nt.assert_not_equal(value, None) nt.assert_true(not pd.isnull(value))
def read_results_values_test(): tool, df = svcomp15.svcomp_xml_to_dataframe('static/results-xml-raw/cbmc.14-12-04_1241.results.sv-comp15.mixed-examples.xml') nt.assert_equal(tool, 'cbmc') nt.assert_equal(df.iloc[0]['options'], '--32') nt.assert_equal(df.iloc[0]['status'], svcomp15.Status.true) nt.assert_equal(df.iloc[0]['cputime'], 7.627101835) nt.assert_equal(df.iloc[0]['walltime'], 7.66226601601) nt.assert_equal(df.iloc[0]['mem_usage'], 2848837632) nt.assert_equal(df.iloc[0]['expected_status'], svcomp15.Status.false) nt.assert_equal(df.iloc[0]['property_type'], svcomp15.PropertyType.unreachability) nt.assert_equal(df.iloc[1]['status_msg'], 'OUT OF MEMORY') nt.assert_equal(df.iloc[1]['mem_usage'], 15000002560) nt.assert_equal(df.iloc[2]['walltime'], 850.019608021) nt.assert_equal(df.iloc[2]['property_type'], svcomp15.PropertyType.memory_safety) nt.assert_equal(df.iloc[3]['property_type'], svcomp15.PropertyType.termination) nt.assert_equal(df.iloc[3]['options'], '--64')
def read_results_values_test(): tool, df = svcomp15.svcomp_xml_to_dataframe( 'static/results-xml-raw/cbmc.14-12-04_1241.results.sv-comp15.mixed-examples.xml' ) nt.assert_equal(tool, 'cbmc') nt.assert_equal(df.iloc[0]['options'], '--32') nt.assert_equal(df.iloc[0]['status'], svcomp15.Status.true) nt.assert_equal(df.iloc[0]['cputime'], 7.627101835) nt.assert_equal(df.iloc[0]['walltime'], 7.66226601601) nt.assert_equal(df.iloc[0]['mem_usage'], 2848837632) nt.assert_equal(df.iloc[0]['expected_status'], svcomp15.Status.false) nt.assert_equal(df.iloc[0]['property_type'], svcomp15.PropertyType.unreachability) nt.assert_equal(df.iloc[1]['status_msg'], 'OUT OF MEMORY') nt.assert_equal(df.iloc[1]['mem_usage'], 15000002560) nt.assert_equal(df.iloc[2]['walltime'], 850.019608021) nt.assert_equal(df.iloc[2]['property_type'], svcomp15.PropertyType.memory_safety) nt.assert_equal(df.iloc[3]['property_type'], svcomp15.PropertyType.termination) nt.assert_equal(df.iloc[3]['options'], '--64')
def read_results_no_none_test(): _, df = svcomp15.svcomp_xml_to_dataframe('static/results-xml-raw/cbmc.14-12-04_1241.results.sv-comp15.mixed-examples.xml') for __, series in df.iterrows(): for ___, value in series.iteritems(): nt.assert_not_equal(value, None) nt.assert_true(not pd.isnull(value))