MiniAgda-0.2022.3.11: test/should-fail.goldplate
{ "command" : "miniagda"
, "working_directory" : "should-fail"
, "input_files" : "*.ma"
, "arguments" : [ "${GOLDPLATE_INPUT_FILE}" ]
, "asserts" :
[ { "exit_code" : 0 }
, { "stdout" : "${GOLDPLATE_INPUT_NAME}.golden" }
]
}