Print this page
new smatch

@@ -17,11 +17,11 @@
         return 0;
 }
 
 /*
  * check-name: sum from 1 to n
- * check-command: sparsei $file
+ * check-command: sparsei --no-jit $file
  *
  * check-output-start
 15
 5050
  * check-output-end