From 19b3625d990ba198e61c37eb4fdcd3d9a25eb6d4 Mon Sep 17 00:00:00 2001 From: github-action-benchmark Date: Mon, 9 Dec 2024 23:32:23 +0000 Subject: [PATCH] add CN Benchmarks (customSmallerIsBetter) benchmark result for 3a7897a9f9e0faf2748ba8ddd4142535b87ae8f9 --- dev/bench/data.js | 1710 ++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 1709 insertions(+), 1 deletion(-) diff --git a/dev/bench/data.js b/dev/bench/data.js index 2005eb65c..4a96b2506 100644 --- a/dev/bench/data.js +++ b/dev/bench/data.js @@ -1,5 +1,5 @@ window.BENCHMARK_DATA = { - "lastUpdate": 1733507749873, + "lastUpdate": 1733787143062, "repoUrl": "https://github.com/rems-project/cerberus", "entries": { "CN Benchmarks": [ @@ -149664,6 +149664,1714 @@ window.BENCHMARK_DATA = { } ] } + }, + { + "commit": { + "author": { + "email": "dc_mak@outlook.com", + "name": "Dhruv Makwana", + "username": "dc-mak" + }, + "committer": { + "email": "dc-mak@users.noreply.github.com", + "name": "Dhruv Makwana", + "username": "dc-mak" + }, + "distinct": true, + "id": "3a7897a9f9e0faf2748ba8ddd4142535b87ae8f9", + "message": "CN VIP: Clarify tests\n\nSome of the tests rely on ignoring the (demonic) address allocation\nnon-determinism which means that technically that have UB but in\npractice they are there to exercise particular bits of the memory\nobject model.", + "timestamp": "2024-12-09T23:21:32Z", + "tree_id": "54b50ea55f9841a7bc1179cac98a1d350779ac6a", + "url": "https://github.com/rems-project/cerberus/commit/3a7897a9f9e0faf2748ba8ddd4142535b87ae8f9" + }, + "date": 1733787141692, + "tool": "customSmallerIsBetter", + "benches": { + "z3": [ + { + "name": "Total benchmark time", + "value": 194.69, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_diff.c", + "value": 8.31, + "unit": "Seconds" + }, + { + "name": "./cn/implies2.error.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/inconsistent3.error.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/bad_record2.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/mod_precedence.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/mod_by_0.error.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/alloc_create.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_int_cast.error.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/inconsistent.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/merging_arrays.error.c", + "value": 0.2, + "unit": "Seconds" + }, + { + "name": "./cn/get_from_arr.c", + "value": 0.15, + "unit": "Seconds" + }, + { + "name": "./cn/incomplete_match.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/pred_def02.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_intptr_t_cast.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/gnu_ffs.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/cnfunction_mismatched_args1.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/inconsistent2.error.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/to_bytes.error.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/division_casting.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_compl_type.error.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id_ptr_eq.error.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/unary_negation.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/memcpy.c", + "value": 0.79, + "unit": "Seconds" + }, + { + "name": "./cn/arith_type.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_diff.error.c", + "value": 0.31, + "unit": "Seconds" + }, + { + "name": "./cn/swap.c", + "value": 1.96, + "unit": "Seconds" + }, + { + "name": "./cn/failing_precond.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/gnu_types_compatible.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/b_or.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/unsupported_union.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/simplify_array_shift.c", + "value": 2.61, + "unit": "Seconds" + }, + { + "name": "./cn/spec_null_shift.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/type_synonym.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/cnfunction_mismatched_args4.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/fun_ptr_known.c", + "value": 0.53, + "unit": "Seconds" + }, + { + "name": "./cn/division_return_size.error.c", + "value": 0.17, + "unit": "Seconds" + }, + { + "name": "./cn/append.c", + "value": 10.51, + "unit": "Seconds" + }, + { + "name": "./cn/before_to_bytes.error.c", + "value": 0.24, + "unit": "Seconds" + }, + { + "name": "./cn/assert_on_toplevel.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_relop.error.c", + "value": 0.3, + "unit": "Seconds" + }, + { + "name": "./cn/unary_negation.error.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/arrow_access.c", + "value": 1.3, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_char_cast.error.c", + "value": 0.17, + "unit": "Seconds" + }, + { + "name": "./cn/list_rev01.c", + "value": 1.81, + "unit": "Seconds" + }, + { + "name": "./cn/mergesort.c", + "value": 20.33, + "unit": "Seconds" + }, + { + "name": "./cn/pred_def01.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/gnu_choose.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/implies_associativity.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/simple_loop.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/reverse.error.c", + "value": 1.17, + "unit": "Seconds" + }, + { + "name": "./cn/division_by_0.error.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/copy_alloc_id.error.c", + "value": 0.16, + "unit": "Seconds" + }, + { + "name": "./cn/b_xor.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/int_to_ptr.error.c", + "value": 0.17, + "unit": "Seconds" + }, + { + "name": "./cn/tag_defs.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/doubling.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/and_or_precedence.error.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/previously_inconsistent_assumptions1.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/division.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/pred_def03.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/spec_null_shift.error.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/simplify_add_0.c", + "value": 0.19, + "unit": "Seconds" + }, + { + "name": "./cn/max_min_consts.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id_ptr_neq.c", + "value": 0.19, + "unit": "Seconds" + }, + { + "name": "./cn/spec_after_curly_brace.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/split_case.c", + "value": 3.12, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_diff2.error.c", + "value": 0.2, + "unit": "Seconds" + }, + { + "name": "./cn/cnfunction_mismatched_args2.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/division_return_sign.error.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/match.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/void_star_arg.c", + "value": 1.64, + "unit": "Seconds" + }, + { + "name": "./cn/use_enum.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/int_to_ptr.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/cnfunction_mismatched_args3.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/copy_alloc_id.c", + "value": 0.4, + "unit": "Seconds" + }, + { + "name": "./cn/mask_ptr.c", + "value": 0.23, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_compl_precedence.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/mod_with_constants.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/null_to_int.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/create_rdonly.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/list_literal_type.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id_ptr_eq2.error.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/swap_pair.c", + "value": 1.36, + "unit": "Seconds" + }, + { + "name": "./cn/forloop_with_decl.c", + "value": 0.17, + "unit": "Seconds" + }, + { + "name": "./cn/builtin_ctz_val.c", + "value": 0.19, + "unit": "Seconds" + }, + { + "name": "./cn/tree16/as_mutual_dt/tree16.c", + "value": 9.06, + "unit": "Seconds" + }, + { + "name": "./cn/tree16/as_auto_mutual_dt/tree16.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/tree16/as_partial_map/tree16.c", + "value": 8.26, + "unit": "Seconds" + }, + { + "name": "./cn/extract_verbose.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id_ptr_neq.error.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/unconstrained_ptr_eq.error.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/duplicate_pattern_var.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_char_cast.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/fun_addrs_cn_stmt.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/left_shift_const.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/ownership_at_negative_index.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/max_pipes.error.c", + "value": 25.55, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_and_type_left.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/redundant_pattern.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/get_from_array.c", + "value": 0.41, + "unit": "Seconds" + }, + { + "name": "./cn/increments.c", + "value": 1.66, + "unit": "Seconds" + }, + { + "name": "./cn/unconstrained_ptr_eq2.error.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/ghost_pointer_to_bitvec_cast.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/bad_record.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/mod_casting.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/mergesort_alt.c", + "value": 21.89, + "unit": "Seconds" + }, + { + "name": "./cn/fun_ptr_three_opts.c", + "value": 1.25, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_uintptr_t_cast.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/fun_ptr_extern.c", + "value": 0.67, + "unit": "Seconds" + }, + { + "name": "./cn/block_type.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id_shift.c", + "value": 0.21, + "unit": "Seconds" + }, + { + "name": "./cn/implies3.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/mod_return_sign.error.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/enum_and_and.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/partial_init_bytes.error.c", + "value": 0.31, + "unit": "Seconds" + }, + { + "name": "./cn/alloc_token.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/reverse.c", + "value": 2.98, + "unit": "Seconds" + }, + { + "name": "./cn/from_bytes.error.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/mod.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/division_with_constants.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/copy_alloc_id2.error.c", + "value": 0.19, + "unit": "Seconds" + }, + { + "name": "./cn/mutual_rec/mutual_rec3.c", + "value": 8.13, + "unit": "Seconds" + }, + { + "name": "./cn/mutual_rec/mutual_rec1.c", + "value": 4.94, + "unit": "Seconds" + }, + { + "name": "./cn/mutual_rec/mutual_rec2.c", + "value": 25.47, + "unit": "Seconds" + }, + { + "name": "./cn/lexer_hack_parse.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/struct_updates.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/division_precedence.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/solver_crash.error.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/shift_diff_sz.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/bad_col.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/gnu_ctz.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/magic_comment_not_closed.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/struct_updates2.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/bad_recursion.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_relop.c", + "value": 3.78, + "unit": "Seconds" + }, + { + "name": "./cn/to_from_bytes_owned.c", + "value": 0.25, + "unit": "Seconds" + }, + { + "name": "./cn/use_typedef.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/to_from_bytes_block.c", + "value": 0.21, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_unsigned_int_cast.error.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/bad_constructor_user.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/gnu_case_ranges.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/implies.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_and.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/failing_postcond.error.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/implies_precedence.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/builtin_ctz.c", + "value": 0.41, + "unit": "Seconds" + }, + { + "name": "./cn/missing_resource_indirect.error.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/missing_resource.error.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/unsupported_flexible_array_member.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_diff2.c", + "value": 0.89, + "unit": "Seconds" + }, + { + "name": "./cn/tree_rev01.c", + "value": 4.57, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id.error.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/pred_def04.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/disj_nonnull.c", + "value": 0.38, + "unit": "Seconds" + }, + { + "name": "./cn/bad_function_call.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_and_type_right.error.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/mod_return_size.error.c", + "value": 2.19, + "unit": "Seconds" + }, + { + "name": "./cn/multifile/g.c", + "value": 1.8, + "unit": "Seconds" + }, + { + "name": "./cn/multifile/f.c", + "value": 2.13, + "unit": "Seconds" + }, + { + "name": "./cn/map_set.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/bad_resource_var.error.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/duplicate_datatype_var.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/before_from_bytes.error.c", + "value": 0.26, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_compl.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/cn_inline.c", + "value": 0.19, + "unit": "Seconds" + }, + { + "name": "./cn/previously_inconsistent_assumptions2.c", + "value": 0.07, + "unit": "Seconds" + } + ], + "cvc5": [ + { + "name": "Total benchmark time", + "value": 264.47, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_diff.c", + "value": 5.73, + "unit": "Seconds" + }, + { + "name": "./cn/implies2.error.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/inconsistent3.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/bad_record2.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/mod_precedence.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/mod_by_0.error.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/alloc_create.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_int_cast.error.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/inconsistent.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/merging_arrays.error.c", + "value": 0.19, + "unit": "Seconds" + }, + { + "name": "./cn/get_from_arr.c", + "value": 0.24, + "unit": "Seconds" + }, + { + "name": "./cn/incomplete_match.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/pred_def02.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_intptr_t_cast.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/gnu_ffs.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/cnfunction_mismatched_args1.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/inconsistent2.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/to_bytes.error.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/division_casting.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_compl_type.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id_ptr_eq.error.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/unary_negation.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/memcpy.c", + "value": 3.03, + "unit": "Seconds" + }, + { + "name": "./cn/arith_type.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_diff.error.c", + "value": 0.5, + "unit": "Seconds" + }, + { + "name": "./cn/swap.c", + "value": 0.87, + "unit": "Seconds" + }, + { + "name": "./cn/failing_precond.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/gnu_types_compatible.c", + "value": 0.17, + "unit": "Seconds" + }, + { + "name": "./cn/b_or.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/unsupported_union.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/simplify_array_shift.c", + "value": 2.45, + "unit": "Seconds" + }, + { + "name": "./cn/spec_null_shift.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/type_synonym.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/cnfunction_mismatched_args4.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/fun_ptr_known.c", + "value": 1.92, + "unit": "Seconds" + }, + { + "name": "./cn/division_return_size.error.c", + "value": 0.41, + "unit": "Seconds" + }, + { + "name": "./cn/append.c", + "value": 14.93, + "unit": "Seconds" + }, + { + "name": "./cn/before_to_bytes.error.c", + "value": 0.37, + "unit": "Seconds" + }, + { + "name": "./cn/assert_on_toplevel.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_relop.error.c", + "value": 0.5, + "unit": "Seconds" + }, + { + "name": "./cn/unary_negation.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/arrow_access.c", + "value": 1.65, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_char_cast.error.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/list_rev01.c", + "value": 3.12, + "unit": "Seconds" + }, + { + "name": "./cn/mergesort.c", + "value": 27.34, + "unit": "Seconds" + }, + { + "name": "./cn/pred_def01.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/gnu_choose.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/implies_associativity.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/simple_loop.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/reverse.error.c", + "value": 4.55, + "unit": "Seconds" + }, + { + "name": "./cn/division_by_0.error.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/copy_alloc_id.error.c", + "value": 0.21, + "unit": "Seconds" + }, + { + "name": "./cn/b_xor.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/int_to_ptr.error.c", + "value": 0.15, + "unit": "Seconds" + }, + { + "name": "./cn/tag_defs.c", + "value": 0.23, + "unit": "Seconds" + }, + { + "name": "./cn/doubling.c", + "value": 0.14, + "unit": "Seconds" + }, + { + "name": "./cn/and_or_precedence.error.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/previously_inconsistent_assumptions1.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/division.c", + "value": 0.22, + "unit": "Seconds" + }, + { + "name": "./cn/pred_def03.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/spec_null_shift.error.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/simplify_add_0.c", + "value": 0.33, + "unit": "Seconds" + }, + { + "name": "./cn/max_min_consts.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id_ptr_neq.c", + "value": 0.21, + "unit": "Seconds" + }, + { + "name": "./cn/spec_after_curly_brace.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/split_case.c", + "value": 4.09, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_diff2.error.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/cnfunction_mismatched_args2.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/division_return_sign.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/match.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/void_star_arg.c", + "value": 2.55, + "unit": "Seconds" + }, + { + "name": "./cn/use_enum.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/int_to_ptr.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/cnfunction_mismatched_args3.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/copy_alloc_id.c", + "value": 1.19, + "unit": "Seconds" + }, + { + "name": "./cn/mask_ptr.c", + "value": 0.38, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_compl_precedence.c", + "value": 0.04, + "unit": "Seconds" + }, + { + "name": "./cn/mod_with_constants.c", + "value": 0.27, + "unit": "Seconds" + }, + { + "name": "./cn/null_to_int.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/create_rdonly.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/list_literal_type.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id_ptr_eq2.error.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/swap_pair.c", + "value": 0.72, + "unit": "Seconds" + }, + { + "name": "./cn/forloop_with_decl.c", + "value": 0.37, + "unit": "Seconds" + }, + { + "name": "./cn/builtin_ctz_val.c", + "value": 0.18, + "unit": "Seconds" + }, + { + "name": "./cn/tree16/as_mutual_dt/tree16.c", + "value": 23.51, + "unit": "Seconds" + }, + { + "name": "./cn/tree16/as_auto_mutual_dt/tree16.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/tree16/as_partial_map/tree16.c", + "value": 21.83, + "unit": "Seconds" + }, + { + "name": "./cn/extract_verbose.c", + "value": 0.87, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id_ptr_neq.error.c", + "value": 0.12, + "unit": "Seconds" + }, + { + "name": "./cn/unconstrained_ptr_eq.error.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/duplicate_pattern_var.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_char_cast.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/fun_addrs_cn_stmt.c", + "value": 0.24, + "unit": "Seconds" + }, + { + "name": "./cn/left_shift_const.c", + "value": 0.13, + "unit": "Seconds" + }, + { + "name": "./cn/ownership_at_negative_index.c", + "value": 0.28, + "unit": "Seconds" + }, + { + "name": "./cn/max_pipes.error.c", + "value": 29.54, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_and_type_left.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/redundant_pattern.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/get_from_array.c", + "value": 0.9, + "unit": "Seconds" + }, + { + "name": "./cn/increments.c", + "value": 2.11, + "unit": "Seconds" + }, + { + "name": "./cn/unconstrained_ptr_eq2.error.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/ghost_pointer_to_bitvec_cast.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/bad_record.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/mod_casting.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/mergesort_alt.c", + "value": 23.79, + "unit": "Seconds" + }, + { + "name": "./cn/fun_ptr_three_opts.c", + "value": 3.23, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_uintptr_t_cast.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/fun_ptr_extern.c", + "value": 1.07, + "unit": "Seconds" + }, + { + "name": "./cn/block_type.c", + "value": 0.32, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id_shift.c", + "value": 0.23, + "unit": "Seconds" + }, + { + "name": "./cn/implies3.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/mod_return_sign.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/enum_and_and.c", + "value": 0.16, + "unit": "Seconds" + }, + { + "name": "./cn/partial_init_bytes.error.c", + "value": 0.38, + "unit": "Seconds" + }, + { + "name": "./cn/alloc_token.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/reverse.c", + "value": 4.27, + "unit": "Seconds" + }, + { + "name": "./cn/from_bytes.error.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/mod.c", + "value": 0.23, + "unit": "Seconds" + }, + { + "name": "./cn/division_with_constants.c", + "value": 0.26, + "unit": "Seconds" + }, + { + "name": "./cn/copy_alloc_id2.error.c", + "value": 0.22, + "unit": "Seconds" + }, + { + "name": "./cn/mutual_rec/mutual_rec3.c", + "value": 10.78, + "unit": "Seconds" + }, + { + "name": "./cn/mutual_rec/mutual_rec1.c", + "value": 4.92, + "unit": "Seconds" + }, + { + "name": "./cn/mutual_rec/mutual_rec2.c", + "value": 16.73, + "unit": "Seconds" + }, + { + "name": "./cn/lexer_hack_parse.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/struct_updates.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/division_precedence.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/solver_crash.error.c", + "value": 0.11, + "unit": "Seconds" + }, + { + "name": "./cn/shift_diff_sz.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/bad_col.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/gnu_ctz.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/magic_comment_not_closed.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/struct_updates2.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/bad_recursion.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_relop.c", + "value": 4.38, + "unit": "Seconds" + }, + { + "name": "./cn/to_from_bytes_owned.c", + "value": 0.72, + "unit": "Seconds" + }, + { + "name": "./cn/use_typedef.c", + "value": 0.05, + "unit": "Seconds" + }, + { + "name": "./cn/to_from_bytes_block.c", + "value": 0.7, + "unit": "Seconds" + }, + { + "name": "./cn/pointer_to_unsigned_int_cast.error.c", + "value": 0.06, + "unit": "Seconds" + }, + { + "name": "./cn/bad_constructor_user.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/gnu_case_ranges.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/implies.c", + "value": 0.1, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_and.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/failing_postcond.error.c", + "value": 0.07, + "unit": "Seconds" + }, + { + "name": "./cn/implies_precedence.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/builtin_ctz.c", + "value": 0.78, + "unit": "Seconds" + }, + { + "name": "./cn/missing_resource_indirect.error.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/missing_resource.error.c", + "value": 0.08, + "unit": "Seconds" + }, + { + "name": "./cn/unsupported_flexible_array_member.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/ptr_diff2.c", + "value": 0.6, + "unit": "Seconds" + }, + { + "name": "./cn/tree_rev01.c", + "value": 2.48, + "unit": "Seconds" + }, + { + "name": "./cn/has_alloc_id.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/pred_def04.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/disj_nonnull.c", + "value": 0.39, + "unit": "Seconds" + }, + { + "name": "./cn/bad_function_call.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_and_type_right.error.c", + "value": 0.03, + "unit": "Seconds" + }, + { + "name": "./cn/mod_return_size.error.c", + "value": 7.14, + "unit": "Seconds" + }, + { + "name": "./cn/multifile/g.c", + "value": 7.66, + "unit": "Seconds" + }, + { + "name": "./cn/multifile/f.c", + "value": 7.71, + "unit": "Seconds" + }, + { + "name": "./cn/map_set.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/bad_resource_var.error.c", + "value": 0.16, + "unit": "Seconds" + }, + { + "name": "./cn/duplicate_datatype_var.error.c", + "value": 0.02, + "unit": "Seconds" + }, + { + "name": "./cn/before_from_bytes.error.c", + "value": 0.39, + "unit": "Seconds" + }, + { + "name": "./cn/bitwise_compl.c", + "value": 0.09, + "unit": "Seconds" + }, + { + "name": "./cn/cn_inline.c", + "value": 0.22, + "unit": "Seconds" + }, + { + "name": "./cn/previously_inconsistent_assumptions2.c", + "value": 0.06, + "unit": "Seconds" + } + ] + } } ] }