- /** Create a session using `execvp` */
- static Session* spawnvp(const char *path, char *const argv[]);
+ /** Spawn a model-checked process (using PATH)
+ *
+ * @param file file name of the executable (found using `PATH`)
+ * @param argv arguments for the model-checked process (NULL-terminated)
+ */
+ static Session* spawnvp(const char *file, char *const argv[]);