1 files changed, 24 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/scripts/output_parser/merge_sqlite.sh b/cryptominisat5/cryptominisat-5.6.3/scripts/output_parser/merge_sqlite.sh
new file mode 100755
index 000000000..2aa7fd656
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/scripts/output_parser/merge_sqlite.sh
@@ -0,0 +1,24 @@
+#!/bin/bash
+set -e
+set -x
+
+rm -f mergeddata.sqlite
+FNAME=todo
+rm -f $FNAME
+echo ".read /home/soos/development/sat_solvers/cryptominisat/cmsat_tablestructure.sql" >> $FNAME
+for FILE in *sqlite*; do
+	echo "attach '${FILE}' as tomerge;" >> $FNAME
+	myarray=( tags timepassed memused reduceDB finishup )
+	for DAT in "${myarray[@]}"; do
+		echo "insert into ${DAT} select * from tomerge.${DAT};" >> $FNAME;
+	done
+	echo "detach tomerge;" >> $FNAME
+done
+sqlite3 mergeddata.sqlite < $FNAME
+
+# rm -f dump
+# rm -f schema
+# for FILE in *sqlite*; do
+# 	sqlite3 "$FILE" .sch > schema
+# 	sqlite3 "$FILE" .dump | grep INSERT | sed 's/\"//g' > dump
+# done