fix segfault

Author: ckrause

CHANGELOG.md

@@ -2,6 +2,12 @@ To install or update LODA, please follow the [installation instructions](https:/
 
 ## [Unreleased]
 
+## v25.7.13
+
+### Bugfixes
+
+* Fix segmentation fault during mining
+
 ## v25.7.12
 
 ### Bugfixes

src/eval/range_generator.cpp

@@ -35,7 +35,7 @@ bool RangeGenerator::init(const Program& program, RangeMap& ranges,
 bool RangeGenerator::generate(const Program& program, RangeMap& ranges,
                               Number inputUpperBound) {
   std::vector<RangeMap> collected;
-  if (!collect(program, collected, inputUpperBound)) {
+  if (!collect(program, collected, inputUpperBound) || collected.empty()) {
     return false;
   }
   ranges = collected.back();