reftest: more exhaustive test for pin command

ocaml · Oct 1, 2024 · 1c6bb59 · 1c6bb59
1 parent 04f5315
commit 1c6bb59
Show file tree

Hide file tree

Showing 2 changed files with 883 additions and 7 deletions.
diff --git a/master_changes.md b/master_changes.md
@@ -109,6 +109,7 @@ users)
 ## Reftests
 ### Tests
   * Add more tests for lint W59 [#6219 @rjbou]
+  * More exhaustive test for pin command: test different behaviour and cli options [#6135 @rjbou]
 
 ### Engine