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_asc_con_ra_3.sh | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 src/scripts/b_asc_con_ra_3.sh

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

diff --git a/src/scripts/b_asc_con_ra_3.sh b/src/scripts/b_asc_con_ra_3.sh
deleted file mode 100755
index 8346f4c..0000000
--- a/src/scripts/b_asc_con_ra_3.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: ascending
-syntactic property: Container, RandomAsscess
-search time: %R seconds
-'
-time {
-cargo run b_asc_con_ra.rs gen_asc_con_ra 3
-}
-- 
cgit v1.2.3