You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi,
I ran cbmc with fmt.c from coreutils-8.23 with --smt2 and --outfile option but received 'core dumped' message with below log.
cbmc: smt2/smt2_conv.cpp:2284: void smt2_convt::convert_typecast(const typecast_exprt&): Assertion `boolbv_width(src_type)==boolbv_width(dest_type)' failed.
before running , I updated cbmc with last commit (a44b420...).
I simplify fmt.c in two version, and get different log error with them.
Sorry if the programs may be complex yet. fmt_simplify1.c.txt fmt_simplify2.c.txt