Closed mtzguido closed 2 months ago
With this, we can test a file simply something like:
fstar.exe --load_cmxs pulse share/pulse/examples/Fibo32.fst
from the pulse root.
With this, we can test a file simply something like:
from the pulse root.