test-adt-10-badconstructing.ucl

module main {
    // should parse error on line 11

    datatype list = cons(head: integer, tail: list) | nil();


    var l1 : list;
    var l2: list;

    init {
        l1 = cons();
    }


    control {
        bmc(2);
        check;
        print_results;
    }
}