Hello.
I figured out what is the standard way of handling extra options for a CIL
module.
For example, the liveness.ml module contains as element of fd_extraopt:
"--live_func",
Arg.String (fun s -> live_func := s),
" Output the variables live at each statement
Hello,
> I am trying to pass to the CIL executable (cilly.asm.exe) the following
> new command line parameters that will be "routed" by main.ml to my CIL
> module: --myArg myString
> What is the best way of implementing this?
As you found in the documentation, you should use:
> fd_extraopt
Hello.
I am trying to pass to the CIL executable (cilly.asm.exe) the following
new command
line parameters that will be "routed" by main.ml to my CIL module:
--myArg myString
What is the best way of implementing this?
In CIL_API.pdf it is mentioned:
fd_extraopt
