Skip to content

Commit a0f17f5

Browse files
shazqadeershazqadeer
committed
second
1 parent 5f2b76a commit a0f17f5

File tree

2 files changed

+0
-0
lines changed

2 files changed

+0
-0
lines changed

Test/civl/samples/two-lists.bpl renamed to Test/civl/samples/two-queues.bpl

File renamed without changes.

Test/civl/samples/two-lists.bpl.expect renamed to Test/civl/samples/two-queues.bpl.expect

File renamed without changes.

0 commit comments

Comments
 (0)