Test write_btor_no_driver removed because this message now is warning.

backends/Makefile

@@ -35,7 +35,7 @@ $(eval $(call template,write_btor_mem,write_btor_mem write_btor_mem_v write_btor
 $(eval $(call template,write_btor_pmux,write_btor_pmux))
 $(eval $(call template,write_btor_and_or,write_btor_and_or))
 $(eval $(call template,write_btor_shiftx,write_btor write_btor_v write_btor_s))
-$(eval $(call template,write_btor_error, write_btor_no_top_module write_btor_unsupported_cell_type write_btor_no_driver))
+$(eval $(call template,write_btor_error, write_btor_no_top_module write_btor_unsupported_cell_type))
 
 #write_edif
 $(eval $(call template,write_edif,write_edif write_edif_top write_edif_nogndvcc write_edif_pvector_par write_edif_pvector_bra write_edif_pvector_ang write_edif_attrprop ))

backends/run.sh

@@ -33,8 +33,6 @@ if echo "$1" | grep ".*_error"; then
 		expected_string="ERROR: No top module found."
 	elif [ "$2" = "write_btor_unsupported_cell_type" ]; then
 		expected_string="ERROR: Unsupported cell type: "
-	elif [ "$2" = "write_btor_no_driver" ]; then
-		expected_string="ERROR: No driver for signal bit "
 	elif [ "$2" = "write_edif_cyclic_dependency" ]; then
 		expected_string="ERROR: Cyclic dependency between modules found! Cycle includes module "
 	elif [ "$2" = "write_edif_constant_nodes" ]; then

backends/scripts/write_btor_no_driver.ys

-read_verilog ../top.v
-memory
-write_btor btor.btor