move bfun tests in main to separate function

Author: rose

main.c

@@ -1,18 +1,24 @@
 #include "bfun.h"
 
+void test_bfun(char* filename);
+
 int main(int argc, char* argv[]) {
+#ifdef TEST_BFUN
   char* filename;
   if (argc > 1) filename = argv[1];
-  else filename = "foo";
+  else { 
+    printf("Please specify a .pcn file to complement!\n");
+    exit(2);
+  }
+  test_bfun(filename);
+#endif
+}
+
+void test_bfun(char* filename) {
   char* out_file = "out.txt";
 
   int vs = 4;
 
-  /*
-  cube* plain = new_cube(vs);
-  cube* one_false = new_cube(vs);
-  set_false(one_false, 1);
-  */
   cube* one_true = new_cube(vs);
   set_true(one_true, 1);
   cube* one_each = new_cube(vs);
@@ -34,12 +40,6 @@ int main(int argc, char* argv[]) {
 
   del_bfun(test1);
   del_bfun(result);
-  /*
-  del_cube(plain, vs);
-  del_cube(one_true, vs);
-  del_cube(one_false, vs);
-  del_cube(one_each, vs);
-  */
 
   bfun* b = read_file(filename);
   bfun* cb = complement(b);
@@ -54,4 +54,3 @@ int main(int argc, char* argv[]) {
   del_bfun(b);
   del_bfun(cb);
 }
-