https://gitlab.com/tezos/tezos
Raw File
Tip revision: 313999806ddeb0d3ff9159287fd5d3ea8d0174e1 authored by Hantang Sun on 09 October 2023, 16:04:10 UTC
EVM: fix arithmetic underflow
Tip revision: 3139998
9.json
[
  {
    "file": "protocol > unit",
    "title": "[Unit] alpha: Contract_repr.ml",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "620",
      "count": "1"
    }
  },
  {
    "file": "protocol > pbt > script_comparison",
    "title": "protocol > pbt > script_comparison: alpha: reflexivity",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "14535",
      "count": "1"
    }
  },
  {
    "file": "Compare operations",
    "title": "Compare operations: alpha: Compare_operations",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "833230",
      "count": "1"
    }
  },
  {
    "file": "protocol > integration > validate",
    "title": "alpha: batched managers validation",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "24979218",
      "count": "1"
    }
  },
  {
    "file": "protocol > integration > validate",
    "title": "alpha: one-manager restriction",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "250528712",
      "count": "1"
    }
  },
  {
    "file": "test_logging.ml",
    "title": "016_PtMumbai: concat",
    "tags": [
      "regression",
      "protocol",
      "regression",
      "logging"
    ],
    "successful_runs": {
      "total_time": "32062",
      "count": "1"
    }
  },
  {
    "file": "protocol > pbt > liquidity baking",
    "title": "protocol > pbt > liquidity baking: 016-PtMumbai: Economic Properties",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "250863383",
      "count": "1"
    }
  },
  {
    "file": "protocol > integration > consensus",
    "title": "016-PtMumbai: double preendorsement",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "893968",
      "count": "1"
    }
  },
  {
    "file": "protocol > unit",
    "title": "[Unit] 015-PtLimaPt: receipt encodings",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "4266",
      "count": "1"
    }
  },
  {
    "file": "test_logging.ml",
    "title": "015_PtLimaPt: conditionals",
    "tags": [
      "regression",
      "protocol",
      "regression",
      "logging"
    ],
    "successful_runs": {
      "total_time": "21457",
      "count": "1"
    }
  },
  {
    "file": "protocol > integration > consensus",
    "title": "015-PtLimaPt: delegation",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "1079070",
      "count": "1"
    }
  },
  {
    "file": "Stdlib.circular_buffer",
    "title": "Stdlib.circular_buffer: Invalid argument",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "210222",
      "count": "1"
    }
  },
  {
    "file": "tezos-shell",
    "title": "consensus heuristic",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "2001984",
      "count": "1"
    }
  },
  {
    "file": "test_merkle_proof",
    "title": "test_merkle_proof: sample2_v2",
    "tags": [
      "alcotest"
    ],
    "successful_runs": {
      "total_time": "3931",
      "count": "1"
    }
  },
  {
    "file": "mockup.ml",
    "title": "(Mockup) Migration (transfer)",
    "tags": [
      "mockup",
      "migration"
    ],
    "successful_runs": {
      "total_time": "9122987",
      "count": "1"
    }
  },
  {
    "file": "bad_annot.ml",
    "title": "Alpha: Test bad annotation",
    "tags": [
      "alpha",
      "client",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "1522032",
      "count": "1"
    }
  },
  {
    "file": "baker_operations_cli_options.ml",
    "title": "Alpha: Baker external operations",
    "tags": [
      "alpha",
      "baker",
      "external",
      "operations"
    ],
    "successful_runs": {
      "total_time": "19849542",
      "count": "1"
    }
  },
  {
    "file": "baking.ml",
    "title": "Alpha: External operations are ordered (4 transfers, max 2 operations)",
    "tags": [
      "alpha",
      "operations_pool",
      "baking"
    ],
    "successful_runs": {
      "total_time": "15246398",
      "count": "1"
    }
  },
  {
    "file": "contract_hash_fun.ml",
    "title": "Alpha: Test contract hash function: sha3",
    "tags": [
      "alpha",
      "michelson",
      "crypto",
      "contract",
      "hash",
      "sha3"
    ],
    "successful_runs": {
      "total_time": "25475323",
      "count": "1"
    }
  },
  {
    "file": "contract_onchain_opcodes.ml",
    "title": "Lima: Contract onchain opcodes: ticket_user_big_forge",
    "tags": [
      "lima",
      "contract",
      "onchain",
      "opcodes"
    ],
    "successful_runs": {
      "total_time": "4632436",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Lima: opcodes [cons--storage581876226--input166122047]",
    "tags": [
      "regression",
      "lima",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "740672",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Lima: opcodes [and--storage921624073--input181204719]",
    "tags": [
      "regression",
      "lima",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "750437",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Lima: opcodes [or--storage921624073--input223774825]",
    "tags": [
      "regression",
      "lima",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "735190",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Alpha: opcodes [and_binary--storage125992234--input125992234]",
    "tags": [
      "regression",
      "alpha",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "738776",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Alpha: opcodes [not_binary--storage921624073--input788662499]",
    "tags": [
      "regression",
      "alpha",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "733829",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Lima: opcodes [xor--storage921624073--input617591686]",
    "tags": [
      "regression",
      "lima",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "717795",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Lima: opcodes [xor--storage921624073--input576248088]",
    "tags": [
      "regression",
      "lima",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "720299",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Mumbai: opcodes [xor--storage921624073--input967929605]",
    "tags": [
      "regression",
      "mumbai",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "714478",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Mumbai: opcodes [shifts--storage921624073--input374168553]",
    "tags": [
      "regression",
      "mumbai",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "715510",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Lima: opcodes [map_id--storage457300675--input599923743]",
    "tags": [
      "regression",
      "lima",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "729691",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Mumbai: opcodes [map_mem_nat--storage56274299--input654274102]",
    "tags": [
      "regression",
      "mumbai",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "735847",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Mumbai: opcodes [big_map_mem_nat--storage806237530--input453441034]",
    "tags": [
      "regression",
      "mumbai",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "752465",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Alpha: opcodes [list_size--storage492856247--input802622031]",
    "tags": [
      "regression",
      "alpha",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "738806",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Lima: opcodes [set_size--storage492856247--input802622031]",
    "tags": [
      "regression",
      "lima",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "735594",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Alpha: opcodes [set_iter--storage492856247--input457300675]",
    "tags": [
      "regression",
      "alpha",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "747185",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Alpha: opcodes [contains_all--storage921624073--input315650912]",
    "tags": [
      "regression",
      "alpha",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "749868",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Alpha: opcodes [get_and_update_map--storage547821324--input329240220]",
    "tags": [
      "regression",
      "alpha",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "742666",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Lima: opcodes [get_and_update_map--storage796012494--input228164856]",
    "tags": [
      "regression",
      "lima",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "740782",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Alpha: opcodes [tez_add_sub--storage921624073--input856198194]",
    "tags": [
      "regression",
      "alpha",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "741090",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Mumbai: opcodes [if_some--storage398998998--input288201633]",
    "tags": [
      "regression",
      "mumbai",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "727858",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Mumbai: opcodes [diff_timestamps--storage492856247--input1031049988]",
    "tags": [
      "regression",
      "mumbai",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "732917",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Mumbai: opcodes [ediv_mutez--storage977883604--input389351431]",
    "tags": [
      "regression",
      "mumbai",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "759473",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Alpha: opcodes [compare--storage125992234--input125992234]",
    "tags": [
      "regression",
      "alpha",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "752552",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Alpha: opcodes [bls12_381_fr_z_nat--storage994282947--input680650890]",
    "tags": [
      "regression",
      "alpha",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "738551",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Lima: opcodes [bls12_381_fr_z_nat--storage739946440--input583291483]",
    "tags": [
      "regression",
      "lima",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "734501",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Mumbai: opcodes [bls12_381_z_fr_nat--storage739946440--input166435292]",
    "tags": [
      "regression",
      "mumbai",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "743402",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Mumbai: opcodes [or_bytes--storage125992234--input125992234]",
    "tags": [
      "regression",
      "mumbai",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "737603",
      "count": "1"
    }
  },
  {
    "file": "contract_opcodes.ml",
    "title": "Alpha: test Michelson opcodes: arithmetic_overflow",
    "tags": [
      "regression",
      "alpha",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "5146367",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc attic/dispatch",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "751072",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc macros/fail",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "734619",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc mini_scenarios/constant_entrypoints",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "2255676",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc mini_scenarios/large_flat_contract",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "3304526",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc mini_scenarios/noop_bytes",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "770032",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc opcodes/add",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "762885",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc opcodes/comb-set",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "747280",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc opcodes/list_id_map",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "732460",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc opcodes/packunpack_rev_cty",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "787649",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc opcodes/store_bls12_381_g1",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "725576",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Alpha: Tc opcodes/voting_power",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "720312",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Lima: Tc attic/reservoir",
    "tags": [
      "regression",
      "lima",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "736340",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Lima: Tc mini_scenarios/big_map_entrypoints",
    "tags": [
      "regression",
      "lima",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "745517",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Lima: Tc mini_scenarios/ticket_builder_non_fungible",
    "tags": [
      "regression",
      "lima",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "740017",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Lima: Tc opcodes/big_map_mem_string",
    "tags": [
      "regression",
      "lima",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "722373",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Lima: Tc opcodes/ediv_mutez",
    "tags": [
      "regression",
      "lima",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "730673",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Lima: Tc opcodes/mul_bls12_381_g1",
    "tags": [
      "regression",
      "lima",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "723553",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Lima: Tc opcodes/sender_after_view",
    "tags": [
      "regression",
      "lima",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "723969",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Lima: Tc opcodes/utxo_read",
    "tags": [
      "regression",
      "lima",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "719995",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Mumbai: Tc attic/list_of_transactions",
    "tags": [
      "regression",
      "mumbai",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "727147",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Mumbai: Tc macros/unpair_macro",
    "tags": [
      "regression",
      "mumbai",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "724569",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Mumbai: Tc mini_scenarios/self_address_receiver",
    "tags": [
      "regression",
      "mumbai",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "724050",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Mumbai: Tc opcodes/add_bls12_381_g2",
    "tags": [
      "regression",
      "mumbai",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "721560",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Mumbai: Tc opcodes/comparisons",
    "tags": [
      "regression",
      "mumbai",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "736096",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Mumbai: Tc opcodes/list_concat",
    "tags": [
      "regression",
      "mumbai",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "722130",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Mumbai: Tc opcodes/packunpack",
    "tags": [
      "regression",
      "mumbai",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "730737",
      "count": "1"
    }
  },
  {
    "file": "contract_typecheck_regression.ml",
    "title": "Mumbai: Tc opcodes/split_string",
    "tags": [
      "regression",
      "mumbai",
      "client",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "728853",
      "count": "1"
    }
  },
  {
    "file": "contract_macros.ml",
    "title": "Alpha: macros [assert_ge--storage125992234--input1011138251]",
    "tags": [
      "alpha",
      "michelson",
      "macros"
    ],
    "successful_runs": {
      "total_time": "728278",
      "count": "1"
    }
  },
  {
    "file": "contract_macros.ml",
    "title": "Lima: macros [assert_cmplt--storage125992234--input280547028]",
    "tags": [
      "lima",
      "michelson",
      "macros"
    ],
    "successful_runs": {
      "total_time": "719406",
      "count": "1"
    }
  },
  {
    "file": "contract_macros.ml",
    "title": "Mumbai: macros [compare_bytes--storage457300675--input229008542]",
    "tags": [
      "mumbai",
      "michelson",
      "macros"
    ],
    "successful_runs": {
      "total_time": "731253",
      "count": "1"
    }
  },
  {
    "file": "contract_macros.ml",
    "title": "Lima: test guestbook.tz",
    "tags": [
      "lima",
      "michelson",
      "macros"
    ],
    "successful_runs": {
      "total_time": "5179650",
      "count": "1"
    }
  },
  {
    "file": "contract_macros.ml",
    "title": "Alpha: Macro expansion: macros/assert_le",
    "tags": [
      "regression",
      "alpha",
      "michelson",
      "macros"
    ],
    "successful_runs": {
      "total_time": "719309",
      "count": "1"
    }
  },
  {
    "file": "contract_macros.ml",
    "title": "Lima: Macro expansion: macros/guestbook",
    "tags": [
      "regression",
      "lima",
      "michelson",
      "macros"
    ],
    "successful_runs": {
      "total_time": "721304",
      "count": "1"
    }
  },
  {
    "file": "contract_macros.ml",
    "title": "Mumbai: Macro expansion: macros/carn_and_cdrn",
    "tags": [
      "regression",
      "mumbai",
      "michelson",
      "macros"
    ],
    "successful_runs": {
      "total_time": "724853",
      "count": "1"
    }
  },
  {
    "file": "encoding.ml",
    "title": "Alpha: protocol encoding regression test: block_header",
    "tags": [
      "regression",
      "alpha",
      "encoding",
      "protocol"
    ],
    "successful_runs": {
      "total_time": "1179322",
      "count": "1"
    }
  },
  {
    "file": "encoding.ml",
    "title": "Mumbai: protocol encoding regression test: voting_period",
    "tags": [
      "regression",
      "mumbai",
      "encoding",
      "protocol"
    ],
    "successful_runs": {
      "total_time": "2442378",
      "count": "1"
    }
  },
  {
    "file": "fork.ml",
    "title": "Mumbai: fork",
    "tags": [
      "mumbai",
      "fork"
    ],
    "successful_runs": {
      "total_time": "18990183",
      "count": "1"
    }
  },
  {
    "file": "manager_operations.ml",
    "title": "Mumbai: Contract's body illtyped 2",
    "tags": [
      "mumbai",
      "precheck",
      "illtyped",
      "origination",
      "typing"
    ],
    "successful_runs": {
      "total_time": "11529418",
      "count": "1"
    }
  },
  {
    "file": "manager_operations.ml",
    "title": "Mumbai: Simple transfer with not enough gas",
    "tags": [
      "mumbai",
      "transaction",
      "transfer"
    ],
    "successful_runs": {
      "total_time": "15822563",
      "count": "1"
    }
  },
  {
    "file": "manager_operations.ml",
    "title": "Mumbai: Successful smart contract call",
    "tags": [
      "mumbai",
      "simple_contract_calls",
      "smart",
      "contract",
      "call"
    ],
    "successful_runs": {
      "total_time": "14086185",
      "count": "1"
    }
  },
  {
    "file": "mockup.ml",
    "title": "Mumbai: (Mockup) Create mockup config show / init roundtrip [None,None,init,show]",
    "tags": [
      "mumbai",
      "mockup",
      "client",
      "base_dir",
      "roundtrip",
      "init",
      "show"
    ],
    "successful_runs": {
      "total_time": "3417665",
      "count": "1"
    }
  },
  {
    "file": "mockup.ml",
    "title": "Mumbai: (Mockup) Create mockup config show / init roundtrip [None,protocol_constants,init,show]",
    "tags": [
      "mumbai",
      "mockup",
      "client",
      "base_dir",
      "roundtrip",
      "init",
      "protocol_constants",
      "show"
    ],
    "successful_runs": {
      "total_time": "6005848",
      "count": "1"
    }
  },
  {
    "file": "mockup.ml",
    "title": "Lima: (Mockup) Create mockup config show / init roundtrip [None,protocol_constants,init,init]",
    "tags": [
      "lima",
      "mockup",
      "client",
      "base_dir",
      "roundtrip",
      "init",
      "protocol_constants"
    ],
    "successful_runs": {
      "total_time": "6281492",
      "count": "1"
    }
  },
  {
    "file": "mockup.ml",
    "title": "Lima: (Mockup) Register Global Constant success",
    "tags": [
      "lima",
      "mockup",
      "client",
      "global_constant"
    ],
    "successful_runs": {
      "total_time": "1777837",
      "count": "1"
    }
  },
  {
    "file": "monitor_operations.ml",
    "title": "Mumbai: Test monitor_operations RPC",
    "tags": [
      "mumbai",
      "monitor",
      "operations"
    ],
    "successful_runs": {
      "total_time": "8300491",
      "count": "1"
    }
  },
  {
    "file": "normalize.ml",
    "title": "Alpha: Test Michelson stack normalization",
    "tags": [
      "regression",
      "alpha",
      "client",
      "normalize"
    ],
    "successful_runs": {
      "total_time": "45018938",
      "count": "1"
    }
  },
  {
    "file": "operation_size.ml",
    "title": "Mumbai: operation size munch and bytes contract",
    "tags": [
      "mumbai",
      "operation",
      "script",
      "size",
      "munch",
      "bytes"
    ],
    "successful_runs": {
      "total_time": "37785109",
      "count": "1"
    }
  },
  {
    "file": "order_in_top_level.ml",
    "title": "Lima: Order in top level of the script does not matter.",
    "tags": [
      "lima",
      "client",
      "script"
    ],
    "successful_runs": {
      "total_time": "5191766",
      "count": "1"
    }
  },
  {
    "file": "prevalidator.ml",
    "title": "Mumbai: Manager_restriction_propagation",
    "tags": [
      "mumbai",
      "mempool",
      "manager_restriction",
      "propagation"
    ],
    "successful_runs": {
      "total_time": "23300901",
      "count": "1"
    }
  },
  {
    "file": "prevalidator.ml",
    "title": "Lima: Max refused operations branch_refused",
    "tags": [
      "lima",
      "mempool",
      "refused",
      "max",
      "branch_refused"
    ],
    "successful_runs": {
      "total_time": "22892669",
      "count": "1"
    }
  },
  {
    "file": "prevalidator.ml",
    "title": "Alpha: Forge pre-filtered operation and check mempool",
    "tags": [
      "alpha",
      "forge",
      "mempool",
      "pre_filtered"
    ],
    "successful_runs": {
      "total_time": "11098579",
      "count": "1"
    }
  },
  {
    "file": "proxy.ml",
    "title": "Alpha: (Proxy) (/chains/main/blocks/head/votes/current_proposal) No useless RPC call",
    "tags": [
      "alpha",
      "proxy",
      "rpc",
      "get"
    ],
    "successful_runs": {
      "total_time": "5483407",
      "count": "1"
    }
  },
  {
    "file": "proxy.ml",
    "title": "Mumbai: (Proxy) (/chains/main/blocks/head/votes/listings) Cache at most once",
    "tags": [
      "mumbai",
      "proxy",
      "rpc",
      "get"
    ],
    "successful_runs": {
      "total_time": "5667733",
      "count": "1"
    }
  },
  {
    "file": "RPC_test.ml",
    "title": "Lima: (mode proxy_server_rpc) RPC regression tests: contracts",
    "tags": [
      "regression",
      "lima",
      "rpc",
      "proxy_server_rpc",
      "contracts"
    ],
    "successful_runs": {
      "total_time": "48508247",
      "count": "1"
    }
  },
  {
    "file": "replace_by_fees.ml",
    "title": "Lima: Replace a replacement op with enough fees",
    "tags": [
      "lima",
      "replace",
      "fee",
      "manager"
    ],
    "successful_runs": {
      "total_time": "20899923",
      "count": "1"
    }
  },
  {
    "file": "replace_by_fees.ml",
    "title": "Mumbai: 2nd operation's gas limit is constant. Replacement possible.",
    "tags": [
      "mumbai",
      "replace",
      "fee",
      "manager"
    ],
    "successful_runs": {
      "total_time": "15216747",
      "count": "1"
    }
  },
  {
    "file": "retro.ml",
    "title": "Lima: Test retro compatibility for format of transfer",
    "tags": [
      "lima",
      "retro",
      "transfer"
    ],
    "successful_runs": {
      "total_time": "7125272",
      "count": "1"
    }
  },
  {
    "file": "sapling.ml",
    "title": "Lima: test sapling memo size",
    "tags": [
      "lima",
      "sapling",
      "shield",
      "memo_size"
    ],
    "successful_runs": {
      "total_time": "14341423",
      "count": "1"
    }
  },
  {
    "file": "sapling.ml",
    "title": "Lima: test sapling right memo size",
    "tags": [
      "lima",
      "sapling",
      "shield",
      "memo_size"
    ],
    "successful_runs": {
      "total_time": "17280169",
      "count": "1"
    }
  },
  {
    "file": "script_illtyped.ml",
    "title": "Mumbai: Test Deprecated Typecheck in Legacy - legacy/originator",
    "tags": [
      "mumbai",
      "client",
      "script",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "1620002",
      "count": "1"
    }
  },
  {
    "file": "script_illtyped.ml",
    "title": "Alpha: Test Ill Typecheck - stack_bottom_undig2able",
    "tags": [
      "alpha",
      "client",
      "script",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "1494618",
      "count": "1"
    }
  },
  {
    "file": "script_illtyped.ml",
    "title": "Lima: Test Ill Typecheck - comb0",
    "tags": [
      "lima",
      "client",
      "script",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "1502583",
      "count": "1"
    }
  },
  {
    "file": "script_illtyped.ml",
    "title": "Lima: Test deprecated instructions typecheck conditionally - timelock",
    "tags": [
      "lima",
      "client",
      "script",
      "michelson",
      "typechecking"
    ],
    "successful_runs": {
      "total_time": "2319498",
      "count": "1"
    }
  },
  {
    "file": "testnet_dictator.ml",
    "title": "Lima: testnet dictator (mainnet, proposal)",
    "tags": [
      "lima",
      "amendment",
      "mainnet",
      "proposal"
    ],
    "successful_runs": {
      "total_time": "18466684",
      "count": "1"
    }
  },
  {
    "file": "transfer.ml",
    "title": "Lima: Test Zero Transfer to Nonexistent Contract",
    "tags": [
      "lima",
      "client",
      "transfer"
    ],
    "successful_runs": {
      "total_time": "1727998",
      "count": "1"
    }
  },
  {
    "file": "tickets.ml",
    "title": "Alpha: Overdrafting ticket from implicit accounts must be rejected",
    "tags": [
      "regression",
      "alpha",
      "client",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "5235671",
      "count": "1"
    }
  },
  {
    "file": "timelock.ml",
    "title": "Lima: Check a contract containing timelock operations is forbidden",
    "tags": [
      "lima",
      "client",
      "michelson",
      "timelock"
    ],
    "successful_runs": {
      "total_time": "1672956",
      "count": "1"
    }
  },
  {
    "file": "dac.ml",
    "title": "Alpha: Testing DAC rollup and node with L1 (dac_rollup_arith_wrong_hash)",
    "tags": [
      "regression",
      "alpha",
      "dac",
      "dac",
      "dac_node"
    ],
    "successful_runs": {
      "total_time": "12499416",
      "count": "1"
    }
  },
  {
    "file": "sc_rollup.ml",
    "title": "Mumbai: arith - refutation games winning strategies (pvm_proof_0)",
    "tags": [
      "mumbai",
      "sc_rollup",
      "arith",
      "rollup_node",
      "refutation"
    ],
    "successful_runs": {
      "total_time": "144381784",
      "count": "1"
    }
  },
  {
    "file": "sc_rollup.ml",
    "title": "Mumbai: arith - recover bond of stakers",
    "tags": [
      "regression",
      "mumbai",
      "sc_rollup",
      "arith",
      "commitment",
      "staker",
      "recover"
    ],
    "successful_runs": {
      "total_time": "40118736",
      "count": "1"
    }
  },
  {
    "file": "sc_rollup.ml",
    "title": "Mumbai: wasm_2_0_0 - rollup node boots into the initial state",
    "tags": [
      "mumbai",
      "sc_rollup",
      "wasm_2_0_0",
      "rollup_node",
      "bootstrap"
    ],
    "successful_runs": {
      "total_time": "8046808",
      "count": "1"
    }
  },
  {
    "file": "sc_rollup.ml",
    "title": "Alpha: wasm_2_0_0 - rollup node - correct handling of commitments (operator_publishes)",
    "tags": [
      "alpha",
      "sc_rollup",
      "wasm_2_0_0",
      "rollup_node",
      "commitment",
      "modes",
      "operator"
    ],
    "successful_runs": {
      "total_time": "193835107",
      "count": "1"
    }
  },
  {
    "file": "sc_rollup.ml",
    "title": "Alpha: wasm_2_0_0 - rollup node - correct handling of commitments (handles_chain_reorgs)",
    "tags": [
      "alpha",
      "sc_rollup",
      "wasm_2_0_0",
      "rollup_node",
      "commitment"
    ],
    "successful_runs": {
      "total_time": "71015037",
      "count": "1"
    }
  },
  {
    "file": "sc_rollup.ml",
    "title": "Mumbai: wasm_2_0_0 - trigger exec output (entrypoint: %aux, earliness: 0, internal)",
    "tags": [
      "regression",
      "mumbai",
      "sc_rollup",
      "wasm_2_0_0",
      "rollup_node",
      "outbox",
      "internal",
      "aux"
    ],
    "successful_runs": {
      "total_time": "24037409",
      "count": "1"
    }
  },
  {
    "file": "sc_rollup.ml",
    "title": "Mumbai: arith - node advances PVM state with messages (internal)",
    "tags": [
      "regression",
      "mumbai",
      "sc_rollup",
      "arith",
      "rollup_node",
      "pvm"
    ],
    "successful_runs": {
      "total_time": "42999990",
      "count": "1"
    }
  },
  {
    "file": "sc_rollup.ml",
    "title": "Alpha: arith - rollup node - correct handling of commitments (non_final_level)",
    "tags": [
      "alpha",
      "sc_rollup",
      "arith",
      "rollup_node",
      "commitment"
    ],
    "successful_runs": {
      "total_time": "100893119",
      "count": "1"
    }
  },
  {
    "file": "sc_rollup.ml",
    "title": "Alpha: arith - trigger exec output (entrypoint: %default, earliness: 5, external)",
    "tags": [
      "alpha",
      "sc_rollup",
      "arith",
      "rollup_node",
      "outbox",
      "external",
      "default"
    ],
    "successful_runs": {
      "total_time": "17153465",
      "count": "1"
    }
  },
  {
    "file": "sc_rollup.ml",
    "title": "Mumbai: arith - trigger exec output (entrypoint: %aux, earliness: 5, external)",
    "tags": [
      "mumbai",
      "sc_rollup",
      "arith",
      "rollup_node",
      "outbox",
      "external",
      "aux"
    ],
    "successful_runs": {
      "total_time": "17311396",
      "count": "1"
    }
  },
  {
    "file": "test_contract_bls12_381.ml",
    "title": "Mumbai: Bls12_381 contract primitives, g1: store",
    "tags": [
      "regression",
      "mumbai",
      "michelson",
      "crypto",
      "contract",
      "bls12_381",
      "g1",
      "store"
    ],
    "successful_runs": {
      "total_time": "9877280",
      "count": "1"
    }
  },
  {
    "file": "tx_rollup.ml",
    "title": "Lima: Submit maximum size batch",
    "tags": [
      "regression",
      "lima",
      "tx_rollup",
      "batch",
      "client"
    ],
    "successful_runs": {
      "total_time": "8574265",
      "count": "1"
    }
  },
  {
    "file": "tx_rollup_l2_node.ml",
    "title": "Lima: TX_rollup: test that the node starts if allowed to deposit",
    "tags": [
      "lima",
      "tx_rollup",
      "node",
      "allow",
      "deposit"
    ],
    "successful_runs": {
      "total_time": "6249865",
      "count": "1"
    }
  },
  {
    "file": "views.ml",
    "title": "Alpha: Step constants in view",
    "tags": [
      "alpha",
      "client",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "3968809",
      "count": "1"
    }
  },
  {
    "file": "views.ml",
    "title": "Mumbai: self after view - self_after_nonexistent_view",
    "tags": [
      "mumbai",
      "client",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "3917483",
      "count": "1"
    }
  },
  {
    "file": "views.ml",
    "title": "Alpha: Typecheck view - view_toplevel_bad_name_non_printable_char",
    "tags": [
      "alpha",
      "client",
      "michelson"
    ],
    "successful_runs": {
      "total_time": "1560098",
      "count": "1"
    }
  }
]
back to top