Move all concurrency tests into jbmc-concurrency

diffblue · Nov 17, 2018 · d62ef4c · d62ef4c
1 parent 059f43c
commit d62ef4c
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/jbmc/regression/jbmc/synchronized/Sync.class → .../jbmc-concurrency/synchronized/Sync.class b/jbmc/regression/jbmc/synchronized/Sync.class → .../jbmc-concurrency/synchronized/Sync.class
diff --git a/jbmc/regression/jbmc/synchronized/Sync.java → ...n/jbmc-concurrency/synchronized/Sync.java b/jbmc/regression/jbmc/synchronized/Sync.java → ...n/jbmc-concurrency/synchronized/Sync.java
diff --git a/jbmc/regression/jbmc/synchronized/test.desc → ...n/jbmc-concurrency/synchronized/test.desc b/jbmc/regression/jbmc/synchronized/test.desc → ...n/jbmc-concurrency/synchronized/test.desc