Processing commands for [email protected]: > block 1138660 by 1139283 Bug #1138660 [wnpp] ITP: esbmc -- Efficient SMT-based Context-Bounded Model Checker 1138660 was not blocked by any bugs. 1138660 was not blocking any bugs. Added blocking bug(s) of 1138660: 1139283 > End of message, stopping processing here.
Please contact me if you need assistance. -- 1138660: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1138660 Debian Bug Tracking System Contact [email protected] with problems
