Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[Bug] move coverage tool panics #15698

Closed
igor-aptos opened this issue Jan 9, 2025 · 1 comment
Closed

[Bug] move coverage tool panics #15698

igor-aptos opened this issue Jan 9, 2025 · 1 comment
Assignees
Labels
bug Something isn't working compiler-v2 move-tools

Comments

@igor-aptos
Copy link
Contributor

igor-aptos commented Jan 9, 2025

🐛 Bug

aptos move coverage source fails with:
thread 'main' panicked at third_party/move/tools/move-coverage/src/source_coverage.rs:327:71:
attempt to subtract with overflow

To reproduce

check out igor/repro_coverage_failure branch

go to:
cd aptos-move/framework/aptos-stdlib
run:

cargo run -p aptos --release -- move test --move-2 --filter big_ordered_map --coverage
cargo run -p aptos --release -- move coverage source --module big_ordered_map

And it will fail with:
thread 'main' panicked at third_party/move/tools/move-coverage/src/source_coverage.rs:327:71:
attempt to subtract with overflow

Expected Behavior

A clear and concise description of what you expected to happen.

System information

Please complete the following information:

  • Aptos Core Version
  • Rust Version
  • Computer OS

Additional context

Add any other context about the problem here.

@igor-aptos igor-aptos added the bug Something isn't working label Jan 9, 2025
@vineethk vineethk moved this from 🆕 New to Assigned in Move Language and Runtime Jan 13, 2025
@vineethk vineethk self-assigned this Jan 13, 2025
@vineethk
Copy link
Contributor

vineethk commented Feb 6, 2025

Fixed in #15857.

@vineethk vineethk closed this as completed Feb 6, 2025
@github-project-automation github-project-automation bot moved this from Assigned to ✅ Done in Move Language and Runtime Feb 6, 2025
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
bug Something isn't working compiler-v2 move-tools
Projects
Status: Done
Development

No branches or pull requests

3 participants