1 #include "stp/c_interface.h" 2 #include <gtest/gtest.h> 3 #include <stdio.h> 4 TEST(hoangmle,one)5TEST(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