From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 31 Oct 2018 19:25:14 +0000 (-0700)
Subject: Serializing circuit encoding
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=2791ea968b078efd8b72391544a9b51c285a276e;p=satune.git

Serializing circuit encoding
---

diff --git a/src/Test/serializetuner.cc b/src/Test/serializetuner.cc
index dcce0c5..d63efc9 100644
--- a/src/Test/serializetuner.cc
+++ b/src/Test/serializetuner.cc
@@ -14,6 +14,12 @@ int main(int argc, char **argv) {
 	elem_bin->serialize("binarytuner.conf");
 	elem_onehot->serialize("onehottuner.conf");
 	elem_unary->serialize("unarytuner.conf");
+	elem_bin->setTunable(ENCODINGGRAPHOPT, &onoff, 1);
+	elem_onehot->setTunable(ENCODINGGRAPHOPT, &onoff, 1);
+	elem_unary->setTunable(ENCODINGGRAPHOPT, &onoff, 1);
+	elem_bin->serialize("circuitbinarytuner.conf");
+	elem_onehot->serialize("circuitgraphonehottuner.conf");
+	elem_unary->serialize("circuitgraphunarytuner.conf");
 	delete elem_bin;
 	delete elem_onehot;
 	delete elem_unary;