Broken loop #230
Description
From #24: This loop is executed only a single time. Always. Is this correct?
z3/src/util/prime_generator.cpp
Line 70 in d01c349
Looks fishy to me, that break statement should probably be removed altogether.
{{ message }}