MiniAgda-0.2022.3.11: test/fail.goldplate

{ "command"           : "miniagda"
, "working_directory" : "fail"
, "input_files"       : "**/*.ma"
, "arguments"         : [ "${GOLDPLATE_INPUT_FILE}" ]
, "asserts"           :
    [ { "exit_code"   : 1 }
    , { "stdout"      : "${GOLDPLATE_INPUT_NAME}.err" }
    ]
}