Minor fix to test generation

Author: rayokota

tests/generate.py

@@ -11,6 +11,7 @@ class Generate:
         ("FunctionTomillis", "case001", 0),
         ("FunctionTomillis", "case002", 0),
         ("FunctionTomillis", "case004", 0),
+        ("FunctionTomillis", "case013", 0),
     }
 
     @staticmethod