mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
clean .z3-trace
This commit is contained in:
parent
aec36146ab
commit
4c8044176d
|
@ -9,7 +9,7 @@ REM files produced by compile_mlapi.cmd
|
|||
del /q 2>NUL *.cmi *.cmo *.cmx *.cma *.cmxa *.obj *.lib *.pdb ocamlz3.exe
|
||||
|
||||
REM files produced by test_mlapi.cmd
|
||||
del /q 2>NUL test*.exe queen*.exe test_*api.out test_*apiV3.out test_*api.err test_*apiV3.err queen.out queen.err z3.log ml.log test_mlapi.log
|
||||
del /q 2>NUL test*.exe queen*.exe test_*api.out test_*apiV3.out test_*api.err test_*apiV3.err queen.out queen.err z3.log ml.log test_mlapi.log .z3-trace
|
||||
|
||||
REM backup files
|
||||
del /q 2>NUL *~
|
||||
|
|
Loading…
Reference in a new issue