kevm-pyk/test_prove: remove unused test parameter setting

ehildenb · ehildenb · commit eefda048d635 · 2024-06-27T15:53:37.000Z
diff --git a/kevm-pyk/src/tests/integration/test_prove.py b/kevm-pyk/src/tests/integration/test_prove.py
@@ -293,10 +293,6 @@ def __init__(
 
 
 TEST_PARAMS: dict[str, TParams] = {
-    'mcd/vat-slip-pass-rough-spec.k': TParams(
-        main_claim_id='VAT-SLIP-PASS-ROUGH-SPEC.Vat.slip.pass.rough',
-        leaf_number=1,
-    ),
     'functional/lemmas-spec.k': TParams(workers=8),
     'examples/sum-to-n-foundry-spec.k': TParams(break_on_basic_blocks=True),
 }

Original file line number	Diff line number	Diff line change
`@@ -293,10 +293,6 @@ def __init__(`
`293`	`293`
`294`	`294`
`295`	`295`	`TEST_PARAMS: dict[str, TParams] = {`
`296`		`- 'mcd/vat-slip-pass-rough-spec.k': TParams(`
`297`		`- main_claim_id='VAT-SLIP-PASS-ROUGH-SPEC.Vat.slip.pass.rough',`
`298`		`- leaf_number=1,`
`299`		`- ),`
`300`	`296`	`'functional/lemmas-spec.k': TParams(workers=8),`
`301`	`297`	`'examples/sum-to-n-foundry-spec.k': TParams(break_on_basic_blocks=True),`
`302`	`298`	`}`