rest_api_synthesis

Using Evaluation Docker Image

Build and Run Container

Install docker.
Run docker build . -t latest apiphany
Run docker run -it apiphany

Building

This project is structured as a combined Rust/Python project (Rust is used for RE). To build all the necessary components:

Install maturin.
Create a virtualenv and install all the Python requirements into the venv.
From the root directory, run maturin develop --release --strip.
The bench script should now be runnable from within the apiphany directory.