Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix --statistics flag by calling get_steps() instead of trying to access the steps global variable #1149

Merged
merged 5 commits into from
Sep 19, 2024

Conversation

Robertorosmaninho
Copy link
Collaborator

The previous way of accessing the steps global variable was broken, generating a segmentation fault. By making this simple modification, the correct number of steps taken by the program execution can be returned as expected. A regression test to check the correct behavior of this feature was also added.

@Robertorosmaninho Robertorosmaninho self-assigned this Sep 18, 2024
@rv-jenkins rv-jenkins changed the base branch from master to develop September 18, 2024 21:13
runtime/util/finish_rewriting.cpp Outdated Show resolved Hide resolved
runtime/util/finish_rewriting.cpp Outdated Show resolved Hide resolved
test/output/imp.out.diff Outdated Show resolved Hide resolved
@rv-jenkins rv-jenkins merged commit 4c858f4 into develop Sep 19, 2024
10 checks passed
@rv-jenkins rv-jenkins deleted the fix-statistics branch September 19, 2024 20:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants