Update CBMC version to 5.79.0#2301

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:cbmc-5.79.0tautschnig/kani:cbmc-5.79.0Copy head branch name to clipboard