import choraconfig, os.path
tool = choraconfig.clone_tool("reachc")
tool["displayname"] = "ReACHC:vass"
tool["shortname"] = "reachc:vass"
tool["cmd"] = [tool["root"] + "/reachc.native", "-vass", "{filename}"]
import choraconfig, os.path
tool = choraconfig.clone_tool("chora")
tool["displayname"] = "CHORA:deb_nol"
tool["shortname"] = "chora:deb_nol"
tool["cmd"] = [
choraconfig.parent(2, choraconfig.testroot) + "/duet.native",
"-chora-debug-squeeze", "-chora-debug-recs", "-chora-no-linspec", "-chora",
"{filename}"
]
import choraconfig, os.path
tool = choraconfig.clone_tool("duetcra")
tool["ID"] = "duetrba"
tool["displayname"] = "CRA:rba"
tool["shortname"] = "cra"
tool["cmd"] = [
os.path.join(tool["root"], "duet.native"), "-rba", "{filename}", "-test",
"{tmpfile}"
]
tool["no_assert_line_numbers"] = True
tool["error_callout"] = choraconfig.generic_error_callout