minmod

src/linter.c

@@ -104,15 +104,15 @@ int main(int argc, char* argv[]){
             linkDots(&array, 1, 3, AUTOMATE_T, 0); // q1 --a0--> q3
             linkDots(&array, 1, 3, STRING_T,   1); // q1 --s1--> q3
 
-            char str[40] = {0};
+            char str[80] = {0};
             strcpy(str, "[null, \"abc\", \"def\", false, true, 12, -1.2, .54, -.3, 5., \"bla\\\"blo\\rbla\\n\"]\0");
             clock_t start, stop;
             unsigned int browsed = 0;
             start = clock(); browsed = browse(&array, str, 0); stop = clock();
 
-            printf("browse '%s' : %d/%d\n", str, browsed, (int) strlen(str));
+            printf("browse '%s': %d/%d\n",      str,            browsed, (int) strlen(str));
             printf(" (*) final_state: %d/%d\n", array.dCurrent, array.dFinal);
-            printf(" (*) in %d steps\n", array.steps);
+            printf(" (*) in %d steps\n",        array.steps);
             printf(" (*) in %.3lf seconds\n\n", (double)(stop-start)/CLOCKS_PER_SEC);
 
             for( c = 0 ; c < array.n ; c++ ){