Better is_enum_constr
test in Adt_rel
#738
Job | Run time |
---|---|
0s | |
4m 28s | |
4m 28s |
is_enum_constr
test in Adt_rel
#738
Job | Run time |
---|---|
0s | |
4m 28s | |
4m 28s |