Skip to content

Commit 9976ddb

Browse files
shazqadeershazqadeer
committed
move new 2pc
1 parent 8db11ed commit 9976ddb

File tree

2 files changed

+0
-0
lines changed

2 files changed

+0
-0
lines changed

Test/civl/samples/2pc-parallel.bpl renamed to Test/civl/async/2pc.bpl

File renamed without changes.

Test/civl/samples/2pc-parallel.bpl.expect renamed to Test/civl/async/2pc.bpl.expect

File renamed without changes.

0 commit comments

Comments
 (0)