feat(api/test/cav18): Add --jobs option
feat(api/test/cav18): Add --jobs option

soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4,dreal/dreal4,soonho-tri/dreal4