Revert "Replace BigInt.shift_right with Z.shift_right"

This reverts commit b5e883b.
goblint · Jan 15, 2024 · 70871ef · 70871ef
1 parent 68dc189
commit 70871ef
Showing 1 changed file with 0 additions and 50 deletions.
diff --git a/tests/regression/40-threadid/12-threads.c b/tests/regression/40-threadid/12-threads.c