Skip to content

Breaks/Continues/Early Returns GCC -> CAST Pull Request#265

Open
titomeister wants to merge 6 commits into
masterfrom
ferra/gcc_interruption_cast
Open

Breaks/Continues/Early Returns GCC -> CAST Pull Request#265
titomeister wants to merge 6 commits into
masterfrom
ferra/gcc_interruption_cast

Conversation

@titomeister
Copy link
Copy Markdown
Contributor

Pushing up the changes made up to this point for handling and testing breaks/continues/early returns.
What remains is to finish off the testing by adding in the correct CAST files to the test framework and to make sure that the break handling is correct.

test code is missing the cast files, so they won't run yet. Working on
that next! Pushing up for PR.
@titomeister titomeister requested a review from dpdicken October 13, 2021 17:24
Comment thread automates/program_analysis/GCC2GrFN/gcc_ast_to_cast.py Outdated
Comment thread automates/program_analysis/GCC2GrFN/gcc_ast_to_cast.py Outdated
Comment thread automates/program_analysis/GCC2GrFN/gcc_ast_to_cast.py Outdated
Comment thread automates/program_analysis/GCC2GrFN/gcc_ast_to_cast.py
@titomeister titomeister requested a review from dpdicken October 23, 2021 00:00
@titomeister titomeister requested a review from cl4yton October 25, 2021 16:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants