Tests: we generate the ptests_config

AllanBlanchard · Jun 25, 2023 · 3859a62 · 3859a62
1 parent 94ff7c2
commit 3859a62
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -19,3 +19,4 @@ code/**/oracle/dune
 code/**/result
 code/tests
 code/cache
+code/ptests_config
diff --git a/code/ptests_config b/code/ptests_config