-
Type: Improvement
-
Resolution: Fixed
-
Priority: Major - P3
-
Affects Version/s: None
-
Component/s: Test Model
-
None
-
Storage Engines
Turn off core dumps while running counterexample reduction, because it can currently create tens or even hundreds of core dumps during a single run.