Better is_enum_constr
test in Adt_rel (#1255)
#2315
Job | Run time |
---|---|
4m 16s | |
7m 32s | |
6m 53s | |
4m 41s | |
4m 43s | |
4m 33s | |
14m 18s | |
13m 39s | |
1h 0m 35s |
is_enum_constr
test in Adt_rel (#1255)
#2315
Job | Run time |
---|---|
4m 16s | |
7m 32s | |
6m 53s | |
4m 41s | |
4m 43s | |
4m 33s | |
14m 18s | |
13m 39s | |
1h 0m 35s |