use the old script to measure time
authorweiyu <weiyuluo1232@gmail.com>
Mon, 14 Dec 2020 00:23:36 +0000 (16:23 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Mon, 14 Dec 2020 00:23:36 +0000 (16:23 -0800)
commit985932ceb87ca395d5ad88785441d845594a4f80
tree9bb5ec7faec82a7a87c4c5a106c99b27ffc29b65
parentc7e523a7391a55c580f07134cd4f659aca35f196
use the old script to measure time
cdschecker_modified_benchmarks/test.sh