Code

SV-COMP 24 fixes#176

Code

Merged

peterschrammel merged 6 commits intodiffblue:masterdiffblue/2ls:masterfrom

FrNecas:fnecas-svcomp-24FrNecas/2ls:fnecas-svcomp-24Copy head branch name to clipboard

Oct 12, 2024

Commits

Commits on Nov 24, 2023

• Make clang-format break after bracket

  FrNecas

  committed
  05a2b92

  Copy full SHA for 05a2b92

• Suppress C++20-compat warnings

  Show description for 3ec0b29
  FrNecas

  committed
  3ec0b29

  Copy full SHA for 3ec0b29

• Update CBMC for cstdint includes

  FrNecas

  committed
  acc954c

  Copy full SHA for acc954c

• Make template_generator::operator() non-virtual

  Show description for 780de4d
  FrNecas

  committed
  780de4d

  Copy full SHA for 780de4d

• Assert that no longjmp is used

  FrNecas

  committed
  cebfcb7

  Copy full SHA for cebfcb7

• Fail on advanced math functions

  FrNecas

  committed
  651828d

  Copy full SHA for 651828d