This repository was archived by the owner on Aug 23, 2024. It is now read-only.
Confirm branching behavior and building tests #3
Description
Need to verify that the lifting for all the branching is correct. We should be able to build test cases using the msp430-gcc for C and confirm that it's able to lift back to the correct control flow.