LaCASt Artifact TACAS'22 Post-Rebuttal

The final artifact of LaCASt for TACAS 2022 including updates requested by the reviewers during the rebuttal phase.

LaCASt Artifact TACAS'22

The final artifact of LaCASt for TACAS 2022.

The required Java 11 JDK

Download this file and move it to the bin folder of this artifact. Afterward, proceed with the instructions.