mark-071 issues

Repositories
Issues
Comments

Results 1 issues of


                                            mark-071

call for support for CXXNoexceptExpr type

ESBMC version 7.8.1 64-bit x86_64 linux Target: 64-bit little-endian x86_64-unknown-linux with esbmclibc Parsing ads_log.cpp.ipp Converting ERROR: Conversion of unsupported clang expr: "CXXNoexceptExpr" to expression CXXNoexceptExpr 0x560ca6e8bc38 'bool' `-CallExpr 0x560ca6e8bbb0 'std::basic_string...