hax-types 0.3.2

Helper crate defining the types used to communicate between the custom rustc driver, the CLI and the engine of hax.
Documentation

hax-types

This crate contains the type definitions that are used to communicate between:

  • the command line (the cargo-hax binary);
  • the custom rustc driver;
  • the hax engine (the hax-engine binary).

Those three component send and receive messages in JSON or CBOR on stdin and stdout.