Exec
eff Exec
SourceThe uninterpretable Exec
effect.
The Exec
effect represents the actions required to start (i.e. run) a new process outside the JVM.
This includes use of System.exec
, the Process
class, and the ProcessBuilder
class.
The Exec
effect is uninterpretable which means that it cannot be handled.