Skip to content

Commit e46665a

Browse files
committed
Formatting the tests listed in the prove show harness
1 parent 5045693 commit e46665a

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

kmir/src/tests/integration/test_integration.py

+6-1
Original file line numberDiff line numberDiff line change
@@ -436,7 +436,12 @@ def test_prove(spec: Path, tmp_path: Path, kmir: KMIR) -> None:
436436

437437
PROVING_DIR = (Path(__file__).parent / 'data' / 'prove-rs').resolve(strict=True)
438438
PROVING_FILES = list(PROVING_DIR.glob('*.rs'))
439-
PROVE_RS_SHOW_SPECS = ['local-raw-fail', 'interior-mut-fail', 'interior-mut2-fail', 'interior-mut3-fail']
439+
PROVE_RS_SHOW_SPECS = [
440+
'local-raw-fail',
441+
'interior-mut-fail',
442+
'interior-mut2-fail',
443+
'interior-mut3-fail',
444+
]
440445

441446

442447
@pytest.mark.parametrize(

0 commit comments

Comments
 (0)