Code

Second attempt to fix update-pr#170

Code

Merged

tautschnig merged 1 commit intomodel-checking:mastermodel-checking/cbmc-viewer:masterfrom tautschnig:fix-update-pr-againtautschnig/cbmc-viewer:fix-update-pr-againCopy head branch name to clipboardJul 19, 2024

Commits

Commits on Jul 19, 2024

• Second attempt to fix update-pr

  Show description for 8c6bba7
  tautschnig

  committed
  8c6bba7

  Copy full SHA for 8c6bba7