Excluded binary and LevelDB based SCV backends

examples/simple_system/sc_main.cpp

@@ -77,7 +77,7 @@ int sc_main(int argc, char *argv[]) {
     ///////////////////////////////////////////////////////////////////////////
     // set up tracing & transaction recording
     ///////////////////////////////////////////////////////////////////////////
-    tracer trace("simple_system", tracer::BINARY, vm.count("trace"));
+    tracer trace("simple_system", tracer::COMPRESSED, vm.count("trace"));
     // todo: fix displayed clock period in VCD
 
     ///////////////////////////////////////////////////////////////////////////

examples/transaction_recording/scv_tr_recording_example.cpp

@@ -337,17 +337,9 @@ inline const char* init_db(char type){
         return "my_db.txlog";
         break;
     case '3':
-        scv_tr_binary_init();
-        return "my_db.txb";
-        break;
-   case '4':
         scv_tr_sqlite_init();
         return "my_db.txdb";
         break;
-    case '5':
-        scv_tr_ldb_init();
-        return "my_db.txldb";
-        break;
     default:
         scv_tr_text_init();
         return "my_db.txlog";