Processing control commands:
> reopen -1
Bug #1038866 {Done: Michael Tautschnig <m...@debian.org>} [src:cbmc] cbmc FTBFS
on !x86: Failed test: __asm_fstcw-01
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions cbmc/5.84.0-6.
--
1038866: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038866
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
