void test6()
{
Flags flags = vc_createFlags();
VC vc;
Expr p, p3, p32;
char *x;
// vc_setBoolFlag(flags, "proofs", 1);
vc_setBoolFlag(flags, "dagify-exprs", 0);
vc = vc_createValidityChecker(flags);
// p = vc_getProofOfFile(vc,"benchmarks/add1.cvc");
check_error("Failed to check file");
// vc_deleteExpr(p);
vc_destroyValidityChecker(vc);
vc_deleteFlags(flags);
/* p3 = getChild(p,3); */
/* p32 = getChild(p3,2); */
/* if (isLambda(p32)) */
/* printf("The expression is Lambda\n"); */
/* else */
/* printf("The expression is not Lambda\n"); */
/* x = exprString(p32); */
/* printf("Test expr,%s",x);*/
}
// Setting the flags
value caml_vc_setBoolFlag(value flags, value name, value val)
{
CAMLparam3(flags,name,val);
vc_setBoolFlag(Flags_val(flags),String_val(name),Int_val(val));
CAMLreturn(Val_unit);
}