[Bug 296170] devel/cbmc: update to 6.9.0

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: <bugzilla-noreply_at_freebsd.org>
Date: Sat, 20 Jun 2026 18:38:49 UTC

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=296170

            Bug ID: 296170
           Summary: devel/cbmc: update to 6.9.0
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: olivier@freebsd.org
          Reporter: siva@FreeBSD.org
             Flags: maintainer-feedback?(olivier@freebsd.org)
          Assignee: olivier@freebsd.org

Created attachment 271978
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=271978&action=edit
[PATCH] devel/cbmc: update to 6.9.0

Patch attached, all tests (except for one SIMD test) pass in the newly added
test suite.

-- 
You are receiving this mail because:
You are the assignee for the bug.