Better is_enum_constr test in Adt_rel (#1255)
#3006
| Job | Run time |
|---|---|
| 4m 53s | |
| 4m 53s |
is_enum_constr test in Adt_rel (#1255)
#3006
| Job | Run time |
|---|---|
| 4m 53s | |
| 4m 53s |