674 val compilation_names = [("pred", Pred), |
674 val compilation_names = [("pred", Pred), |
675 ("random", Random), |
675 ("random", Random), |
676 ("depth_limited", Depth_Limited), |
676 ("depth_limited", Depth_Limited), |
677 ("depth_limited_random", Depth_Limited_Random), |
677 ("depth_limited_random", Depth_Limited_Random), |
678 (*("annotated", Annotated),*) |
678 (*("annotated", Annotated),*) |
679 ("dseq", DSeq), ("random_dseq", Pos_Random_DSeq), |
679 ("dseq", DSeq), |
|
680 ("random_dseq", Pos_Random_DSeq), |
680 ("new_random_dseq", New_Pos_Random_DSeq), |
681 ("new_random_dseq", New_Pos_Random_DSeq), |
681 ("generator_dseq", Pos_Generator_DSeq)] |
682 ("generator_dseq", Pos_Generator_DSeq)] |
682 |
683 |
683 val non_random_compilations = [Pred, Depth_Limited, DSeq, Annotated] |
684 val non_random_compilations = [Pred, Depth_Limited, DSeq, Annotated] |
684 |
685 |