c2rust icon indicating copy to clipboard operation
c2rust copied to clipboard

scripts/pdg.sh: also run analysis

Open fw-immunant opened this issue 2 years ago • 0 comments

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

fw-immunant avatar Jun 29 '23 19:06 fw-immunant