Struct RunCommand 

pub struct RunCommand {
    pub argv: Vec<String>,
    pub cwd: Option<String>,
    pub timeout_secs: Option<u64>,
    pub network: Option<bool>,
    pub call_id: Option<String>,
    pub expect: Option<Object>,
}

Run a program (no shell) in the workspace with a timeout; stdin is closed.

Fields

argv: Vec<String>

Program and arguments, e.g. [“cargo”, “test”, “-p”, “core”].

cwd: Option<String>

Working directory relative to the workspace root (default: the root).

timeout_secs: Option<u64>

Seconds before the whole process group is killed (default 120, at most 600).

network: Option<bool>

Commands run without the network; true asks for it (a person decides).

call_id: Option<String>

Set by speccoder, not the model: the call’s id, exported as SPECCODER_CALL_ID.

expect: Option<Object>

Set by speccoder, not the model: the object a person’s decision covered, checked again before the command starts.

Trait Implementations

impl Debug for RunCommand

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RunCommand

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for RunCommand

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.