MiniAgda-0.2022.3.11: test/succeed.goldplate

{ "command"           : "miniagda"
, "working_directory" : "succeed"
, "input_files"       : "*.ma"
, "arguments"         : [ "${GOLDPLATE_INPUT_FILE}" ]
, "asserts"           :
    [ { "exit_code"   : 0 }
    , { "stdout"      : "${GOLDPLATE_INPUT_NAME}.golden" }
    ]
}