RFS: esbmc/8.3.0+dfsg-4 [ITP]

Dear mentors, I am looking for a sponsor for my package "esbmc". Package name : esbmc Version : 8.3.0+dfsg-4 Upstream author : ESBMC Development Team < [email protected] > URL : https://esbmc.org License : Apache-2.0 and BSD-4-Clause Section : devel It builds a single binary package: esbmc -- 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. The package is available on mentors.debian.net: https://mentors.debian.net/package/esbmc/ ITP bug: https://bugs.debian.org/1138660 Lintian output for 8.3.0+dfsg-4 shows only experimental (X) tags; no errors or warnings. Regards, Weiqi Wang