ignoring ci generated files

kmemarian · kmemarian · commit a3cbde01de06 · 2020-04-24T09:52:59.000+01:00
diff --git a/tests/.gitignore b/tests/.gitignore
@@ -0,0 +1,3 @@
+# Temporary files generated by run scripts
+ci_results.xml
+tmp
diff --git a/tests/csmith/tools/.gitignore b/tests/csmith/tools/.gitignore
@@ -0,0 +1,4 @@
+ciValidate
+reValidate
+*.cmo
+*.cmi
diff --git a/tests/tmp/stderr b/tests/tmp/stderr

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# Temporary files generated by run scripts`
	`2`	`+ci_results.xml`
	`3`	`+tmp`