Replay tests via command-line with `Tezt` is not complete with `dkmeta`
francoisthire opened this issue · comments
In Tezt
, one can replay a test using the commands that were executed during the test. For example:
dune exec tests/main.exe -- --test="metaify 'rewrite_prod.dk' succeeds with 'meta_file, quoting_prod'" --commands
prints:
find . -name '*.dko' -type f -delete
./dkcheck.native -e tests/meta/rewrite_prod.dk
./dkmeta.native --no-color -q -I tests/meta -m tests/meta_files/prod_meta.dk --quoting prod tests/meta/rewrite_prod.dk
./dkcheck.native -I tests/meta /tmp/tezt-211429/1/rewrite_prod.dk
diff '--unified=0' --label stored --label actual tests/tezt/_regressions/tests/meta/rewrite_prod.dk_dkmeta_meta_file_quoting_prod.out /tmp/tezt-211429/1/tests/meta/rewrite_prod.dk_dkmeta_meta_file_quoting_prod.out
which references files generated during the test but not by the commands above such as /tmp/tezt-211429/1/rewrite_prod.dk
.
Considering the following disccusion https://gitlab.com/tezos/tezos/-/issues/2087 this issue will likely won't be fixed.