From 6661ab02f6c0bcc05866c17bc6d5ae66c855b794 Mon Sep 17 00:00:00 2001
From: Aria Shrimpton <me@aria.rip>
Date: Mon, 1 Apr 2024 19:12:57 +0100
Subject: remove unused scripts

---
 src/scripts/b_unique_asc_con_ra_5.sh | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 src/scripts/b_unique_asc_con_ra_5.sh

(limited to 'src/scripts/b_unique_asc_con_ra_5.sh')

diff --git a/src/scripts/b_unique_asc_con_ra_5.sh b/src/scripts/b_unique_asc_con_ra_5.sh
deleted file mode 100755
index a32ee2f..0000000
--- a/src/scripts/b_unique_asc_con_ra_5.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 5
-}
-- 
cgit v1.2.3