--- src/generator/gentest.cc	2008-08-27 00:39:49.000000000 -0400
+++ /Users/snc/Source/sbsat/src/generator/gentest.cc	2009-08-25 09:03:03.000000000 -0400
@@ -122,7 +122,7 @@
 		  if (argc < 3 || (argc > 2 && !strcmp(argv[2], "--help"))) {
 			  fprintf(stderr, "usage: %s size sat\n", argv[0]);
 			  fprintf(stderr, "       size - num variables\n");
-			  //fprintf(stderr, "       sat - 0/1 = un/sat\n");
+			  fprintf(stderr, "       sat - 0/1 = un/sat\n");
 			  return 0;
 		  }
 		  int size = atoi(argv[2]);
@@ -130,6 +130,17 @@
 		  slider2("ite", size, sat);
 		  return 0;
 	  } else
+	  if (argc > 1 && !strcmp(argv[1], "slider3")) {
+        char **argv2 = new char*[argc];
+        memset(argv2,0,sizeof(argv2));
+        argv2[0] = "__PREFIX__/slider3.py";
+
+        memcpy(argv2 + 1, argv + 2, sizeof(char *) * (argc - 2));
+        int oranges = execv(argv2[0], argv2);
+
+        printf("%s\n", strerror(oranges));
+        return oranges;
+	  } else
 	  if (argc > 1 && !strcmp(argv[1], "trans")) {
 		  if (argc < 4 || (argc > 2 && !strcmp(argv[2], "--help"))) {
 			  fprintf(stderr, "usage: %s trans size mult [seed]\n", argv[0]);
@@ -276,6 +287,7 @@
 	fprintf(stderr, "usage: %s vdw --help\n", argv[0]);
 	fprintf(stderr, "usage: %s rn --help\n", argv[0]);
 	fprintf(stderr, "usage: %s slider2 --help\n", argv[0]);
+	fprintf(stderr, "usage: %s slider3 --help\n", argv[0]);
 	fprintf(stderr, "usage: %s rbdd --help\n", argv[0]);
 	fprintf(stderr, "usage: %s trans --help\n", argv[0]);
 	fprintf(stderr, "usage: %s add_tree --help\n", argv[0]);
