From 9c494af6e1bc4f89e7842085d266fb386d923729 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 3 Dec 2016 12:28:36 +0100
Subject: Removed old scripts/smt2-bmc/

---
 scripts/smt2-bmc/async.sh | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 scripts/smt2-bmc/async.sh

(limited to 'scripts/smt2-bmc/async.sh')

diff --git a/scripts/smt2-bmc/async.sh b/scripts/smt2-bmc/async.sh
deleted file mode 100644
index 2149c05..0000000
--- a/scripts/smt2-bmc/async.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-set -ex
-yosys -qv1 async.ys
-time python3 async.py 
-- 
cgit