You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
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.