Update cbmc-viewer to 3.10#3683

tautschnig merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

remi-delmas-3000:bump-cbmc-viewer-3.10remi-delmas-3000/kani:bump-cbmc-viewer-3.10Copy head branch name to clipboard