Skip to main content

Browse the archive

Revision 239d5a792bebe575521f28c8b77342b718e1b0b0 authored by Marge Bot on 10 September 2021, 15:07:32 UTC, committed by Marge Bot on 10 September 2021, 15:07:32 UTC 
Merge branch 'francois@mempool-classification-new-tests' into 'master'
 
Mempool/test: Add two new property tests

See merge request tezos/tezos!3483
2 parent s bcd91c0 + 5bdc78c
Raw File
README.md 
# devtools

This is a place designed to development only tools, it may include, patches, suggestions, ppxes and others. **Tools here should not be used to make release builds, for testing or on the CI**.

## Tools

- protocol-print: This allows printing inside the protocol files for debugging purposes.
- utop-fix (deprecated by [tztop](../src/tooling/tztop/README.md)): allows utop to be used globally in Tezos
back to top