From 47e73826e0bf53c514531687dd3a7e1fb7f29a13 Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@yosyshq.com>
Date: Wed, 5 Oct 2022 10:59:38 +0200
Subject: [PATCH] mutate: warn if less mutations possible than number requested

---
 passes/sat/mutate.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/passes/sat/mutate.cc b/passes/sat/mutate.cc
index 42eb0c6d0..02174be53 100644
--- a/passes/sat/mutate.cc
+++ b/passes/sat/mutate.cc
@@ -527,6 +527,8 @@ void mutate_list(Design *design, const mutate_opts_t &opts, const string &filena
 	}
 
 	log("Raw database size: %d\n", GetSize(database));
+	if (N > GetSize(database))
+		log_warning("%d mutations requested but only %d could be created!\n", N, GetSize(database));
 	if (N != 0) {
 		database_reduce(database, opts, opts.none ? N-1 : N, rng);
 		log("Reduced database size: %d\n", GetSize(database));