regrtest now supports parallel flag -p n; TODO: abstract out common bits with dsolve's regrtest
regrtest now supports parallel flag -p n; TODO: abstract out common bits with dsolve's regrtest

ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve