cli/dev.gmitch215.drift.cli

Package-level declarations

Types

class DockerExecutor(host: Host, workspace: String, driftBinary: String? = null, timeoutSeconds: Long = 120, maxMemory: String? = null, maxCpus: String? = null, gate: TrialGate? = null) : Executor

Runs arms with docker through the host's process runner. Each trial is one docker run --rm with the flags reproduce derived from the capsule; output is cut to its last OUTPUT_BYTES bytes and one trial is cut off after timeoutSeconds. maxMemory and maxCpus apply only to an arm whose capsule sets no limit of its own. A gate sets its variable to 1 or 0 in each trial, so a command that fails only when it reads 1 fails on a fixed share of trials.

HostArchiveFiles

class HostArchiveFiles : ArchiveFiles

Reads and writes whole files as bytes, for the .driftcase archive.

class HostCaseFiles(host: Host) : CaseFiles

Reads through the host and writes with the target's own file writer.

fun interface RawOut

Receives machine output byte for byte; tests install one through the root context.

Functions

fun main(args: Array<String>)

expect fun readBinaryFile(path: String): ByteArray?

actual fun readBinaryFile(path: String): ByteArray?

actual fun readBinaryFile(path: String): ByteArray?

actual fun readBinaryFile(path: String): ByteArray?

writeBinaryFile

expect fun writeBinaryFile(path: String, bytes: ByteArray): Boolean

Writes bytes to path, creating missing directories; false when it cannot.

actual fun writeBinaryFile(path: String, bytes: ByteArray): Boolean

Writes bytes to path, creating missing directories; false when it cannot.

actual fun writeBinaryFile(path: String, bytes: ByteArray): Boolean

Writes bytes to path, creating missing directories; false when it cannot.

actual fun writeBinaryFile(path: String, bytes: ByteArray): Boolean

Writes bytes to path, creating missing directories; false when it cannot.

actual fun writeBinaryFile(path: String, bytes: ByteArray): Boolean

Writes bytes to path, creating missing directories; false when it cannot.

actual fun writeBinaryFile(path: String, bytes: ByteArray): Boolean

Writes bytes to path, creating missing directories; false when it cannot.

expect fun writeStdout(text: String)

Writes text to standard output as UTF-8 with no line-break translation.

actual fun writeStdout(text: String)

Writes text to standard output as UTF-8 with no line-break translation.

actual fun writeStdout(text: String)

Writes text to standard output as UTF-8 with no line-break translation.

actual fun writeStdout(text: String)

Writes text to standard output as UTF-8 with no line-break translation.

expect fun writeTextFile(path: String, text: String): Boolean

Writes text as UTF-8 to path, creating missing directories; false when it cannot.

actual fun writeTextFile(path: String, text: String): Boolean

Writes text as UTF-8 to path, creating missing directories; false when it cannot.

actual fun writeTextFile(path: String, text: String): Boolean

Writes text as UTF-8 to path, creating missing directories; false when it cannot.

actual fun writeTextFile(path: String, text: String): Boolean

Writes text as UTF-8 to path, creating missing directories; false when it cannot.

actual fun writeTextFile(path: String, text: String): Boolean

Writes text as UTF-8 to path, creating missing directories; false when it cannot.

actual fun writeTextFile(path: String, text: String): Boolean

Writes text as UTF-8 to path, creating missing directories; false when it cannot.