refactor: use State::import(..)
for file-sourced TLAs
#557
Job | Run time |
---|---|
51s | |
51s |
State::import(..)
for file-sourced TLAs
#557
Job | Run time |
---|---|
51s | |
51s |