1 files changed, 31 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/scripts/fuzz/intersperse.py b/cryptominisat5/cryptominisat-5.6.3/scripts/fuzz/intersperse.py
new file mode 100755
index 000000000..6eb91615b
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/scripts/fuzz/intersperse.py
@@ -0,0 +1,31 @@
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+
+# Copyright (C) 2014  Mate Soos
+#
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License
+# as published by the Free Software Foundation; version 2
+# of the License.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+# 02110-1301, USA.
+
+from __future__ import with_statement  # Required in 2.5
+from __future__ import print_function
+import debuglib
+import sys
+
+if len(sys.argv) != 4:
+    print("You must give 3 arguments: input file, output file, seed")
+
+
+debuglib.intersperse(sys.argv[1], sys.argv[2], sys.argv[3])
+print("OK, output in %s" % sys.argv[2])