Serializing circuit encoding

diff --git a/src/Test/serializetuner.cc b/src/Test/serializetuner.cc
index dcce0c52c60a754d44012785da5a84a0d72c4471..d63efc9e3e248fb44d2b2f7a4f5b23e80887957f 100644 (file)
--- 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;