Cubicle 1.1.2 documentation and source : Fixpoint.FixpointList.pure_smt

let pure_smt_check s nodes =
    try
      check_fixpoint ~pure_smt:true s nodes;
      None
    with 
    | Fixpoint db -> Some db
    | Exit -> None
    | Smt.Unsat db -> Some db