Skip to content

test: port Map2Check C runtime unit assertions to Rust - #42

Merged
hbgit merged 2 commits into
developfrom
cutover/port-c-unit-asserts
Oct 17, 2026
Merged

hbgit merged 2 commits into
developfrom
cutover/port-c-unit-asserts

Conversation

@hbgit

@hbgit hbgit commented Oct 17, 2026

Copy link
Copy Markdown
Owner

Task 5.2 do plano de cutover (docs/superpowers/plans/2026-10-15-cutover-runtime-c-map2check.md).

  • Porta as asserções de tests/unit/backend-library do Map2Check (Container, AllocationLog, HeapLog, MemTrack) para rust/src/ffi_tests.rs: 24 testes.
  • Os 4 testes de BTree não são portados: D3 aprovada (--btree não é portado).
  • A tabela TEST C → teste Rust está em docs/cutover/decisoes.md.
  • Os dois testes de status de endereço observam o STATIC pelo veredito de free inválido (SD-06), pois não há export para o enum.

cargo fmt --check, cargo clippy --all-targets --all-features -- -D warnings e cargo test --all-features passam.

@hbgit
hbgit merged commit 1225939 into develop Oct 17, 2026
3 checks passed
@hbgit
hbgit deleted the cutover/port-c-unit-asserts branch October 17, 2026 14:29
@hbgit hbgit mentioned this pull request Oct 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant