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