update test-related configurations in repo

Author: anthonyyangdev

.gitignore

@@ -54,3 +54,5 @@ book/pp.tex
 
 # Auto-generated by Makefile's [gen] target
 harmony_model_checker/__init__.py
+
+.coverage

Makefile

@@ -43,7 +43,16 @@ upload: dist
 	twine upload dist/*
 
 clean:
+	# Harmony outputs in `code` directory
 	rm -f code/*.htm code/*.hvm code/*.hco code/*.png code/*.hfa code/*.tla code/*.gv *.html
+
+	# Harmony outputs in `modules` directory
 	(cd harmony_model_checker/modules; rm -f *.htm *.hvm *.hco *.png *.hfa *.tla *.gv *.html)
+
 	rm -rf compiler_integration_results.md compiler_integration_results/
+
+	# Package publication related outputs
 	rm -rf build/ dist/ harmony_model_checker.egg-info/
+	
+	# Test coverage related outputs
+	rm -rf .coverage htmlcov

tests/e2e/test_compilation.py

@@ -17,7 +17,7 @@ def load_harmony_files() -> List[Params]:
     return [
         Params(
             filename=f,
-            max_time=timedelta(milliseconds=500)
+            max_time=timedelta(seconds=1)
         ) for f in code_dir.glob("*.hny")
     ]
 
@@ -38,4 +38,5 @@ def test_compilation(param):
     start_time = time.perf_counter_ns()
     do_compile(str(param.filename), consts=[], mods=[], interface=None)
     end_time = time.perf_counter_ns()
-    assert end_time - start_time <= param.max_time.microseconds * 1000
+    duration = end_time - start_time
+    assert duration <= param.max_time.total_seconds() * 1e9