aboutsummaryrefslogtreecommitdiff
path: root/src/scripts/b_unique_asc_con_ra_7.sh
diff options
context:
space:
mode:
Diffstat (limited to 'src/scripts/b_unique_asc_con_ra_7.sh')
-rwxr-xr-xsrc/scripts/b_unique_asc_con_ra_7.sh9
1 files changed, 0 insertions, 9 deletions
diff --git a/src/scripts/b_unique_asc_con_ra_7.sh b/src/scripts/b_unique_asc_con_ra_7.sh
deleted file mode 100755
index ea16baf..0000000
--- a/src/scripts/b_unique_asc_con_ra_7.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: unique, ascending
-syntactic property: Container, RandomAccess
-search time: %R seconds
-'
-time {
-cargo run b_unique_asc_con_ra.rs gen_unique_asc_con_ra 7
-}