1 #include "stp/c_interface.h"
2 #include <gtest/gtest.h>
3 #include <stdio.h>
4 
TEST(hoangmle,one)5 TEST(hoangmle, one)
6 {
7   VC vc = vc_createValidityChecker();
8   Expr a = vc_bvConstExprFromStr(
9       vc,
10       "001111001110010101010100000000000000000000000000000000000000000000000");
11   vc_printExpr(vc, a);
12   printf("\nMy print:\n");
13   printf("%s", exprString(a));
14   vc_Destroy(vc);
15 }
16