Closed fw-immunant closed 6 months ago
This is fairly hacky and best-effort, but until c2rust-analyze is a rustc wrapper for cargo, it's hard to do better, and this avoids duplicating the work of figuring out these hacks.
To see it in action: ./scripts/pdg.sh analysis/tests/minimal
./scripts/pdg.sh analysis/tests/minimal
Superseded by #1069.
This is fairly hacky and best-effort, but until c2rust-analyze is a rustc wrapper for cargo, it's hard to do better, and this avoids duplicating the work of figuring out these hacks.
To see it in action:
./scripts/pdg.sh analysis/tests/minimal