Skip to content

SQUASH ME: Eliminate rust code parsing; simplify charon invocation; add tests to confirm charon is consuming all of workspace/project code#3397

Closed
mdittmer wants to merge 1 commit into
Goufr43flofh44irghlel27f3x3o7spbkfrom
Gfmi27pzslfuptbvmpxkaj5klxjy7chxk
Closed

SQUASH ME: Eliminate rust code parsing; simplify charon invocation; add tests to confirm charon is consuming all of workspace/project code#3397
mdittmer wants to merge 1 commit into
Goufr43flofh44irghlel27f3x3o7spbkfrom
Gfmi27pzslfuptbvmpxkaj5klxjy7chxk