Skip to content

Run cargo add in c2rust-instrument --set-runtime to add c2rust-analysis-rt automatically#562

Merged
kkysen merged 6 commits into
masterfrom
kkysen/instrument-cargo-add
Aug 16, 2022
Merged

Run cargo add in c2rust-instrument --set-runtime to add c2rust-analysis-rt automatically#562
kkysen merged 6 commits into
masterfrom
kkysen/instrument-cargo-add

Forgot to add `--set-runtime` in `pdg.sh`.

ba996b3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs