Gillian Debugging Examples

Examples for Gillian debugging, included in the artifact for the paper Swinging Through the (Symbolic Execution) Trees with Gillian Debugging (see here).

See the artifact guide for more information.