update script vagrant
authorweiyu <weiyuluo1232@gmail.com>
Wed, 16 Dec 2020 00:18:54 +0000 (16:18 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Wed, 16 Dec 2020 00:18:54 +0000 (16:18 -0800)
commit0d5b9e63b4b30f7e07e1b8213a28e561a4edff28
treee394b3c75afb725c44419f834bf14cac34daad69
parentd57dca205176dc30a6b855cb695749c267c412e1
update script
cdschecker_modified_benchmarks/test_all.sh
tsan11-missingbug/test.sh
tsan11-missingbug/test_all.sh