Open
Description
Add a capability to compare the data structures produced by the lifting to C with the data structures produced by CIL from the printed version of that lifting. The goal is to have the two sets of data structures match.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests