Better production of trace files.
By default traces are not produced. Requires the option -t to produce them
Showing
- include/io_frontend.c 7 additions, 18 deletionsinclude/io_frontend.c
- include/io_frontend.h 7 additions, 7 deletionsinclude/io_frontend.h
- include/io_frontend.hpp 7 additions, 18 deletionsinclude/io_frontend.hpp
- src/backends/C/c_backend_common.ml 59 additions, 18 deletionssrc/backends/C/c_backend_common.ml
- src/backends/C/c_backend_main.ml 61 additions, 16 deletionssrc/backends/C/c_backend_main.ml
- src/plugins/scopes/scopes.ml 22 additions, 12 deletionssrc/plugins/scopes/scopes.ml
Please register or sign in to comment