#use "topfind";;
#require "extlib";;
#require "oUnit";;
#use_output "dune top";;
open ExtLib;;

open Cudf;;
open Cudf_checker;;
open Cudf_parser;;
open Cudf_printer;;
open Cudf_types_pp;;

let p = Cudf_parser.from_in_channel (open_in "tests/data/legacy.cudf")

let (pre, pkgs, req) as cudf_doc =
  match Cudf_parser.parse_from_file "tests/data/legacy.cudf" with
    | Some pre, pkgs, Some req -> pre, pkgs, req
    | _ -> assert false ;;
let (univ, _) as cudf = Cudf.load_universe pkgs, req
