PLDI’20 Artefact Documentation¶ The following is the C artefact documentation for the Gillian, Part I PLDI'20 submission Folder Structure Symbolic Testing