FINAL-85-pldi2021ae-syrust.tar.gz (1.21 GB)

SyRust Artifact: PLDI2021 Artifact

Download (1.21 GB)
This file is SyRust's accompanying artifact for PLDI 2021.

Steps for using the artifact are as follows.
1. Download the artifact and check the md5sum
e84b1e7cb133a80d8973d8ccbbaed92b FINAL-85-pldi2021ae-syrust.tar.gz

2. Unzip the file with
`tar -xf FINAL-85-pldi2021ae-syrust.tar.gz`
and the artifact will be in `pldi2021ae-syrust/`.

3. Follow the instructions provided in README.txt

Funding

SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair

Directorate for Computer & Information Science & Engineering

Find out more...

History

Date

11/04/2021

Usage metrics

Licence

Exports