Processing commands for [email protected]: > owner 1138660 王炜奇 <[email protected]> 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.' Owner recorded as 王炜奇 <[email protected]>. 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.' > 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
