Skip to content

Commit 4d2b75a

Browse files
Stevengreclaude
Stevengre
and
claude
committed
refactor(tests): distinguish -fail (program error) from -unsupported (missing semantics)
Rename 19 prove-rs test files from `-fail` to `-unsupported` to clarify that they fail because the semantics doesn't support the feature yet, not because the program itself is expected to fail. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent 9ada694 commit 4d2b75a

37 files changed

Lines changed: 19 additions & 19 deletions

File tree

kmir/src/tests/integration/data/prove-rs/box_heap_alloc-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/box_heap_alloc-unsupported.rs

File renamed without changes.

kmir/src/tests/integration/data/prove-rs/enum-two-refs-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/enum-two-refs-unsupported.rs

File renamed without changes.

kmir/src/tests/integration/data/prove-rs/interior-mut-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/interior-mut-unsupported.rs

File renamed without changes.

kmir/src/tests/integration/data/prove-rs/interior-mut3-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/interior-mut3-unsupported.rs

File renamed without changes.

kmir/src/tests/integration/data/prove-rs/local-raw-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/local-raw-unsupported.rs

File renamed without changes.

kmir/src/tests/integration/data/prove-rs/loop-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/loop-unsupported.rs

File renamed without changes.

kmir/src/tests/integration/data/prove-rs/offset-u8-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/offset-u8-unsupported.rs

File renamed without changes.

kmir/src/tests/integration/data/prove-rs/pointer-cast-length-test-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/pointer-cast-length-test-unsupported.rs

File renamed without changes.

kmir/src/tests/integration/data/prove-rs/ptr-cast-array-to-nested-wrapper-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/ptr-cast-array-to-nested-wrapper-unsupported.rs

File renamed without changes.

kmir/src/tests/integration/data/prove-rs/ptr-cast-array-to-singleton-wrapped-array-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/ptr-cast-array-to-singleton-wrapped-array-unsupported.rs

File renamed without changes.

0 commit comments

Comments
 (0)