namespace WoofWare.PawPrint.Test

open WoofWare.PawPrint
open WoofWare.PawPrint.ExternImplementations

/// Result of executing (some steps of) the program under PawPrint.
type RunResult =
    {
        /// Value that was left on the evaluation stack when execution stopped, **if**
        /// the program executed a `ret` that produced a value and PawPrint
        /// subsequently pushed it onto the stack.  This is only an early-stage
        /// approximation: once PawPrint supports a proper process-exit story we
        /// can promote this to a real exit–code.
        ExitCode : int option

        /// Final interpreter state after we stopped executing.
        FinalState : IlMachineState
    }

[<RequireQualifiedAccess>]
module MockEnv =
    let make () : NativeImpls =
        {
            System_Environment = System_EnvironmentMock.Empty
            System_Threading_Monitor = System_Threading_MonitorMock.Empty
        }

type EndToEndTestCase =
    {
        FileName : string
        ExpectedReturnCode : int
        NativeImpls : NativeImpls
    }