verific: Fixes incorrect aldff inference in verific importer #2868
Job | Run time |
---|---|
10m 0s | |
10m 8s | |
10m 1s | |
10m 4s | |
24m 6s | |
8m 59s | |
9m 2s | |
8m 59s | |
10m 9s | |
8m 37s | |
1h 50m 5s |
Job | Run time |
---|---|
10m 0s | |
10m 8s | |
10m 1s | |
10m 4s | |
24m 6s | |
8m 59s | |
9m 2s | |
8m 59s | |
10m 9s | |
8m 37s | |
1h 50m 5s |