update bitfile_test.c bvgraph_test.c check_bvgraph.c