Use fstar makefiles to run test instead
#50
| Job | Run time |
|---|---|
| 2h 38m 4s | |
| 2h 38m 4s |
fstar makefiles to run test instead
#50
| Job | Run time |
|---|---|
| 2h 38m 4s | |
| 2h 38m 4s |