Use the old script to measure time
authorweiyu <weiyuluo1232@gmail.com>
Mon, 14 Dec 2020 00:25:07 +0000 (16:25 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Mon, 14 Dec 2020 00:25:07 +0000 (16:25 -0800)
commitf501771e1f237cbfd3aa8a9af19adbc0dc73a6e9
tree49eb82f99cec3aad5a64a9bf76201696a5724a9e
parent144e5ff6453fe09f0f1c1b384a6c954c57f00ab7
Use the old script to measure time
cdschecker_modified_benchmarks/test.sh