diff options
Diffstat (limited to 'research/flossing/external/julia-1.6.7/share/julia/stdlib/v1.6/Profile')
| -rw-r--r-- | research/flossing/external/julia-1.6.7/share/julia/stdlib/v1.6/Profile/docs/src/index.md | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/research/flossing/external/julia-1.6.7/share/julia/stdlib/v1.6/Profile/docs/src/index.md b/research/flossing/external/julia-1.6.7/share/julia/stdlib/v1.6/Profile/docs/src/index.md new file mode 100644 index 0000000..ac60bb9 --- /dev/null +++ b/research/flossing/external/julia-1.6.7/share/julia/stdlib/v1.6/Profile/docs/src/index.md @@ -0,0 +1,17 @@ +# [Profiling](@id lib-profiling) + +```@docs +Profile.@profile +``` + +The methods in `Profile` are not exported and need to be called e.g. as `Profile.print()`. + +```@docs +Profile.clear +Profile.print +Profile.init +Profile.fetch +Profile.retrieve +Profile.callers +Profile.clear_malloc_data +``` |