This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit 4ba29e7

authored

Merge pull request #1189 from sosy-lab/juliet-category

Proper name for Juliet subcategory

2 parents 8aa7447 + f6b7a50 commit 4ba29e7Copy full SHA for 4ba29e7

1 file changed

+0

-0

lines changed

c
- MemSafety-Juliet.set

1 file changed

+0

-0

lines changed

`‎c/Juliet_Test.set‎ renamed to ‎c/MemSafety-Juliet.set‎`

File renamed without changes.

Comments

(0)