simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

update doc

Browse source
This commit is contained in:
Simon Cruanes 2022-08-13 13:30:03 -04:00
parent 632d5e3f40
commit c2eac5e2c3
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/tef/Sidekick_tef.mli
View file

@ -5,7 +5,7 @@
profiling probes will emit TEF events.
Profiling is enabled if {!setup} is called, and if
the environment variable "TEF" is set to "1" or "true".
the environment variable "TRACE" is set to "1" or "true".
The trace is emitted in the file "trace.json.gz" in the directory
where the solver is launched; you can open it in
chrome/chromium at "chrome://tracing".