Remove reiminfer test for merge

opprop · May 1, 2024 · 2c2d3d1 · 2c2d3d1
1 parent d921936
commit 2c2d3d1
Show file tree

Hide file tree

Showing 24 changed files with 0 additions and 763 deletions.
diff --git a/testinput/reiminfer/CFLTests1.java b/testinput/reiminfer/CFLTests1.java
diff --git a/testinput/reiminfer/CFLTests2.java b/testinput/reiminfer/CFLTests2.java
diff --git a/testinput/reiminfer/CFLTests3.java b/testinput/reiminfer/CFLTests3.java
diff --git a/testinput/reiminfer/CFLTests4.java b/testinput/reiminfer/CFLTests4.java
diff --git a/testinput/reiminfer/CFLTests5.java b/testinput/reiminfer/CFLTests5.java
diff --git a/testinput/reiminfer/CFLTests6.java b/testinput/reiminfer/CFLTests6.java
diff --git a/testinput/reiminfer/CFLTests7.java b/testinput/reiminfer/CFLTests7.java
diff --git a/testinput/reiminfer/CFLTests8.java b/testinput/reiminfer/CFLTests8.java
diff --git a/testinput/reiminfer/CircularInitialization.java b/testinput/reiminfer/CircularInitialization.java
diff --git a/testinput/reiminfer/ImmutableArrays.java b/testinput/reiminfer/ImmutableArrays.java
diff --git a/testinput/reiminfer/InitMethod.java b/testinput/reiminfer/InitMethod.java