refactor: use State::import(..)
for file-sourced TLAs
#603
Job | Run time |
---|---|
1m 4s | |
1m 4s |
State::import(..)
for file-sourced TLAs
#603
Job | Run time |
---|---|
1m 4s | |
1m 4s |