Invoke cover in a correct fashion to generate HTML output

.coverignore

@@ -1,4 +1,4 @@
-inputs.js
+jalangi_tmp/inputs.js
 ../node_modules/
 ../src/js/InputManager.js
 node_modules/

src/python/commands.py

@@ -148,7 +148,7 @@ def rerunall(filee, jalangi=util.DEFAULT_INSTALL):
     if jalangi.coverage():
         time.sleep(2)
         os.system("cover combine")
-        os.system("cover report")
+        os.system("cover report html")
         shutil.copy("cover_html/index.html","../jalangi/out/out.html")
         for x in glob.glob("cover_html/*.*"):
             shutil.copy(x,  "../jalangi/out/".format(x))

src/python/util.py

@@ -91,7 +91,7 @@ def run_node_script(script, *args, **kwargs):
     else:
         cmd = []
     if jal.coverage():
-        cmd = cmd + ["cover", "run"]
+        cmd = cmd + ["cover", "-i", os.path.join(jal.get_home(),".coverignore"), "run"]
     cmd = cmd + ([find_node()] if not jal.coverage() else [])
     with NamedTemporaryFile() as f:
          try: