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

SQUASH ME: Eliminate rust code parsing; simplify charon invocation; a…

0ff00c6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar