PLDI2023 Artifact: Covering All the Bases: Type-based Verification of Test Input Generators

This artifact contains:

1. README.md : the artifact guide.
2. poirot-SM.pdf: original paper with the supplemental materials.
3. poirot_pldi-2023.tar.gz: the docker image (optional, we recommend to pull from the docker hub, see README.md).
4. Dockerfile: the docker file that can reproduce the docker image (optional, we recommend to pull from the docker hub, see README.md).