boogie-org
diff --git a/‎Test/civl/async/tds.bpl‎
Lines changed: 0 additions & 126 deletions b/‎Test/civl/async/tds.bpl‎
Lines changed: 0 additions & 126 deletions
diff --git a/‎Test/civl/async/tds.bpl.expect‎
Lines changed: 0 additions & 2 deletions b/‎Test/civl/async/tds.bpl.expect‎
Lines changed: 0 additions & 2 deletions
diff --git a/‎Test/civl/async/async0.bpl‎ ‎Test/civl/regression-tests/async0.bpl‎Test/civl/async/async0.bpl renamed to Test/civl/regression-tests/async0.bpl b/‎Test/civl/async/async0.bpl‎ ‎Test/civl/regression-tests/async0.bpl‎Test/civl/async/async0.bpl renamed to Test/civl/regression-tests/async0.bpl
diff --git a/‎Test/civl/async/async0.bpl.expect‎ ‎…/civl/regression-tests/async0.bpl.expect‎Test/civl/async/async0.bpl.expect renamed to Test/civl/regression-tests/async0.bpl.expect b/‎Test/civl/async/async0.bpl.expect‎ ‎…/civl/regression-tests/async0.bpl.expect‎Test/civl/async/async0.bpl.expect renamed to Test/civl/regression-tests/async0.bpl.expect
diff --git a/‎Test/civl/async/async1.bpl‎ ‎Test/civl/regression-tests/async1.bpl‎Test/civl/async/async1.bpl renamed to Test/civl/regression-tests/async1.bpl b/‎Test/civl/async/async1.bpl‎ ‎Test/civl/regression-tests/async1.bpl‎Test/civl/async/async1.bpl renamed to Test/civl/regression-tests/async1.bpl
diff --git a/‎Test/civl/async/async1.bpl.expect‎ ‎…/civl/regression-tests/async1.bpl.expect‎Test/civl/async/async1.bpl.expect renamed to Test/civl/regression-tests/async1.bpl.expect b/‎Test/civl/async/async1.bpl.expect‎ ‎…/civl/regression-tests/async1.bpl.expect‎Test/civl/async/async1.bpl.expect renamed to Test/civl/regression-tests/async1.bpl.expect
diff --git a/‎Test/civl/async/async2.bpl‎ ‎Test/civl/regression-tests/async2.bpl‎Test/civl/async/async2.bpl renamed to Test/civl/regression-tests/async2.bpl b/‎Test/civl/async/async2.bpl‎ ‎Test/civl/regression-tests/async2.bpl‎Test/civl/async/async2.bpl renamed to Test/civl/regression-tests/async2.bpl
diff --git a/‎Test/civl/async/async2.bpl.expect‎ ‎…/civl/regression-tests/async2.bpl.expect‎Test/civl/async/async2.bpl.expect renamed to Test/civl/regression-tests/async2.bpl.expect b/‎Test/civl/async/async2.bpl.expect‎ ‎…/civl/regression-tests/async2.bpl.expect‎Test/civl/async/async2.bpl.expect renamed to Test/civl/regression-tests/async2.bpl.expect
diff --git a/‎Test/civl/async/async3.bpl‎ ‎Test/civl/regression-tests/async3.bpl‎Test/civl/async/async3.bpl renamed to Test/civl/regression-tests/async3.bpl b/‎Test/civl/async/async3.bpl‎ ‎Test/civl/regression-tests/async3.bpl‎Test/civl/async/async3.bpl renamed to Test/civl/regression-tests/async3.bpl
diff --git a/‎Test/civl/async/async3.bpl.expect‎ ‎…/civl/regression-tests/async3.bpl.expect‎Test/civl/async/async3.bpl.expect renamed to Test/civl/regression-tests/async3.bpl.expect b/‎Test/civl/async/async3.bpl.expect‎ ‎…/civl/regression-tests/async3.bpl.expect‎Test/civl/async/async3.bpl.expect renamed to Test/civl/regression-tests/async3.bpl.expect