head	1.1;
access;
symbols;
locks; strict;
comment	@# @;


1.1
date	2026.10.17.16.55.46;	author alnsn;	state Exp;
branches;
next	;
commitid	CknMhgn24aCkRQZG;


desc
@@


1.1
log
@Initial import of devel/cbmc version 6.10.0.

CBMC is a Bounded Model Checker for C and C++ programs. It supports
C89, C99, most of C11, C17, C23 and most compiler extensions provided
by gcc and Visual Studio. It also supports SystemC using Scoot. It
allows verifying array bounds (buffer overflows), pointer safety,
exceptions and user-specified assertions. Furthermore, it can check
C and C++ for consistency with other languages, such as Verilog.
The verification is performed by unwinding the loops in the program
and passing the resulting equation to a decision procedure.
@
text
@$NetBSD$

Fix link errors, reported in https://github.com/diffblue/cbmc/issues/9088

--- src/ansi-c/CMakeLists.txt.orig	2026-01-01 00:00:00.000000000 +0000
+++ src/ansi-c/CMakeLists.txt	2026-01-01 00:00:00.000000000 +0000
@@@@ -144,3 +144,5 @@@@
 generic_includes(ansi-c)
 
 target_link_libraries(ansi-c analyses util linking goto-programs assembler)
+
+set_target_properties(ansi-c analyses PROPERTIES LINK_INTERFACE_MULTIPLICITY 3)
@