[Bug 2036745] Re: FTBFS cbmc 5.89.0-2

[Graham Inggs]

See also LP: #2032624

** Also affects: lto-disabled-list (Ubuntu)
   Importance: Undecided
       Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to lto-disabled-list in Ubuntu.
https://bugs.launchpad.net/bugs/2036745

Title:
  FTBFS cbmc 5.89.0-2

Status in cbmc package in Ubuntu:
  Fix Released
Status in lto-disabled-list package in Ubuntu:
  New

Bug description:
  Building on some architechtures (e.g. arm64) fails during checks as shown at the end of the buildlog
  https://launchpadlibrarian.net/683935172/buildlog_ubuntu-mantic-arm64.cbmc_5.89.0-2_BUILDING.txt.gz .

  Upstream issue opened:

  https://github.com/diffblue/cbmc/issues/7908

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/cbmc/+bug/2036745/+subscriptions