Update CBMC version to 5.79 and re-enable the tests that were disabled here: https://github.com/model-checking/kani/pull/2149 In order to re-enable the tests, please rename the test folder and remove the `ignored-` prefix.
Update CBMC version to 5.79 and re-enable the tests that were disabled here: #2149
In order to re-enable the tests, please rename the test folder and remove the
ignored-prefix.