feat(engine/fstar): --interfaces: add option to extract only fsti
#1483
| Job | Run time |
|---|---|
| 41s | |
| 34s | |
| 1m 15s |
--interfaces: add option to extract only fsti
#1483
| Job | Run time |
|---|---|
| 41s | |
| 34s | |
| 1m 15s |