Unicorn-based Model Backend

This document describes the Unicorn-based model backend for Revizor, which allows for collecting contract traces with Unicorn Engine.

UNDER CONSTRUCTION

If you are interested in this topic, please contact us by opening an issue on GitHub, and we will prioritize this document.