This repository contains information related to the tool Prest: version 3.02. The tool is an open source project. This tool is the prior version of the tool 'Dione' which was presented in the paper at FSE 2012.

This repository is not the original repository for this tool. Following are some of the links to the original project:

• The Official Project Page, including the tar file for the project

In this repository, for the Prest project you will find:

• ✅ prest.c: Source code (available)
• ✅ altertest.c: Extension of the functionality of the Prest tool (available).
• prest: An executable file after compilation of the source code.
• README.md: The README file published along side the project by the authors which explains the details of the project and the steps for execution of the tool.
• Some sample input files are also available to test the tool along with the expected output files.

Internal link for the executable

• Executable

This repository was constructed by Apoorv Joshi under the supervision of Emerson Murphy-Hill. Thanks to Lei Sun, Kenneth Wilder, Mary Para McPeek for their help in establishing this repository.