project-oak / rust-verification-tools

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
https://project-oak.github.io/rust-verification-tools/
Apache License 2.0
273 stars 37 forks source link

llvm-nm error if Cargo.toml uses [[bin]] #117

Closed alastairreid closed 3 years ago

alastairreid commented 3 years ago

If Cargo.toml has

name = "foo" ... [[bin]] name = "bar" path = "src/main.rs"

then we check for "main" in target/$tgt/debug/deps/foo.bc but we should be checking for it in target/$tgt/debug/deps/bar.bc.

Since we are checking the wrong file, we get an error like

(Discovered in coreutils)

alastairreid commented 3 years ago

Fixed