-
-
Notifications
You must be signed in to change notification settings - Fork 15
Labels
cliCommand line interface relatedCommand line interface related
Description
infc ~/path_to_spec.inf --lexdirects to run the lexer, but stops before parsing... --parsedirects to run lexer and parser, but stops before wasm generation... --codegendirects to perform lexing, parsing, and wasm generation, but stops before rocq emission
None of these should produce any output files, and all should terminate with an exit code 0 if they don't hit any errors. In case of hitting errors, they should be reported to stderr and terminate with an appropriate exit code (TBD: define exit code tables).
In addition
... -semits wasm file
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
cliCommand line interface relatedCommand line interface related