From c6be430616e97a5bca0ee56f71908589b174a8ff Mon Sep 17 00:00:00 2001 From: Aria Date: Tue, 7 Nov 2023 22:25:18 +0000 Subject: refactor(all): shorter directory names --- src/scripts/b_des_con_5.sh | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 src/scripts/b_des_con_5.sh (limited to 'src/scripts/b_des_con_5.sh') diff --git a/src/scripts/b_des_con_5.sh b/src/scripts/b_des_con_5.sh new file mode 100755 index 0000000..b870f59 --- /dev/null +++ b/src/scripts/b_des_con_5.sh @@ -0,0 +1,9 @@ +#!/bin/bash +TIMEFORMAT=' +semantic property: descending +syntactic property: Container +search time: %R seconds +' +time { +cargo run b_des_con.rs gen_des_con 5 +} -- cgit v1.2.3