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

runtimeverification / llvm-backend

KORE to llvm translation

BSD 3-Clause "New" or "Revised" License

36 stars 23 forks source link

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

Closed Robertorosmaninho closed 1 month ago

Robertorosmaninho commented 1 month ago

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.