Processing commands for [email protected]: > reassign 1138660 wnpp Bug #1138660 [wnpp severity: wishlist x-debbugs-cc: [email protected] * package name : esbmc version : 8.3.0 upstream author : esbmc development team < [email protected] > * url : https://esbmc.org * license : apache-2.0, bsd-4-clause programming lang: c++ description : efficient smt-based context-bounded model checker esbmc is a context-bounded model checker for the verification of single- and multi-threaded c/c++ and python programs. it can automatically verify safety properties such as array bounds, pointer safety, and arithmetic overflow using smt solvers including z3.] ITP: esbmc -- Efficient SMT-based Context-Bounded Model Checker Warning: Unknown package 'severity:' Warning: Unknown package 'wishlist' Warning: Unknown package 'x-debbugs-cc:' Warning: Unknown package '[email protected]' Warning: Unknown package '*' Warning: Unknown package 'package' Warning: Unknown package 'name' Warning: Unknown package ':' Warning: Unknown package 'esbmc' Warning: Unknown package 'version' Warning: Unknown package '8.3.0' Warning: Unknown package 'upstream' Warning: Unknown package 'author' Warning: Unknown package 'development' Warning: Unknown package 'team' Warning: Unknown package '<' Warning: Unknown package '[email protected]' Warning: Unknown package '>' Warning: Unknown package 'url' Warning: Unknown package 'https://esbmc.org' Warning: Unknown package 'license' Warning: Unknown package 'apache-2.0' Warning: Unknown package 'bsd-4-clause' Warning: Unknown package 'programming' Warning: Unknown package 'lang:' Warning: Unknown package 'c++' Warning: Unknown package 'description' Warning: Unknown package 'efficient' Warning: Unknown package 'smt-based' Warning: Unknown package 'context-bounded' Warning: Unknown package 'model' Warning: Unknown package 'checker' Warning: Unknown package 'is' Warning: Unknown package 'a' Warning: Unknown package 'for' Warning: Unknown package 'verification' Warning: Unknown package 'of' Warning: Unknown package 'single-' Warning: Unknown package 'multi-threaded' Warning: Unknown package 'c/c++' Warning: Unknown package 'python' Warning: Unknown package 'programs.' Warning: Unknown package 'it' Warning: Unknown package 'can' Warning: Unknown package 'automatically' Warning: Unknown package 'verify' Warning: Unknown package 'safety' Warning: Unknown package 'properties' Warning: Unknown package 'such' Warning: Unknown package 'as' Warning: Unknown package 'array' Warning: Unknown package 'bounds' Warning: Unknown package 'pointer' Warning: Unknown package 'arithmetic' Warning: Unknown package 'overflow' Warning: Unknown package 'using' Warning: Unknown package 'smt' Warning: Unknown package 'solvers' Warning: Unknown package 'including' Warning: Unknown package 'z3.' Bug reassigned from package 'wnpp severity: wishlist x-debbugs-cc: [email protected] * package name : esbmc version : 8.3.0 upstream author : esbmc development team < [email protected] > * url : https://esbmc.org * license : apache-2.0, bsd-4-clause programming lang: c++ description : efficient smt-based context-bounded model checker esbmc is a context-bounded model checker for the verification of single- and multi-threaded c/c++ and python programs. it can automatically verify safety properties such as array bounds, pointer safety, and arithmetic overflow using smt solvers including z3.' to 'wnpp'. Ignoring request to alter found versions of bug #1138660 to the same values previously set Ignoring request to alter fixed versions of bug #1138660 to the same values previously set > severity 1138660 wishlist Bug #1138660 [wnpp] ITP: esbmc -- Efficient SMT-based Context-Bounded Model Checker Severity set to 'wishlist' from 'normal' > 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
