Merge pull request #37 from sosy-lab/tosem2021_update · sosy-lab/sv-witnesses@5fc4c23 · GitHub

This repository has been archived by the owner on Oct 14, 2022. It is now read-only.

Commit

Merge pull request #37 from sosy-lab/tosem2021_update

Browse files

Update descriptions of graph elements, node elements, and edge elements from upcoming TOSEM paper

Loading branch information

MartinSpiessl authored Jul 6, 2021

2 parents a592b52 + 90a5553 commit 5fc4c23