Control: reopen -1 On Mon, Jun 26, 2023 at 05:24:03AM +0000, Debian Bug Tracking System wrote: >... > [31mTests failed[0m > 1 of 453 tests failed, 350 tests skipped > > > Failed test: __asm_fstcw-01 >...
This still fails: https://buildd.debian.org/status/logs.php?pkg=cbmc&ver=5.84.0-6 cu Adrian