Class ExecUtil

java.lang.Object
org.checkerframework.framework.util.ExecUtil

public class ExecUtil extends Object
Utilities for executing external processes.