Benchmarking with Snoop
=======================

If you have a piece of code for which you'd like to construct
a model predictive of its performance, ``tezos-snoop`` is the tool to
help you do that. This tool allows to benchmark any given piece of OCaml code
and use these measures to fit cost models predictive of execution time.

It is in particular used to derive the functions in the
`Michelson gas cost API <https://tezos.gitlab.io/api/odoc/_html/tezos-protocol-alpha/Tezos_raw_protocol_alpha__Michelson_v1_gas/index.html>`_,
computing the gas costs in the Tezos protocol.

.. toctree::
   :maxdepth: 2
   :caption: Architecture of tezos-snoop

   snoop_arch

.. toctree::
   :maxdepth: 2
   :caption: Using tezos-snoop by example

   snoop_example

.. toctree::
   :maxdepth: 2
   :caption: Rewriting Micheline terms

   tezos_micheline_rewriting

.. toctree::
   :maxdepth: 2
   :caption: Writing your very own benchmarks and models for the Michelson interpreter

   snoop_interpreter