Report bad maps by default

Summary: As title. Reviewed By: michalmuskala, sopotc Differential Revision: D65419442 fbshipit-source-id: 0548de05eb54b57159080609526a7a628d57bcfe
WhatsApp · Dec 2, 2024 · 36bef4c · 36bef4c
1 parent 6bced1d
commit 36bef4c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eqwalizer/src/main/resources/application.conf b/eqwalizer/src/main/resources/application.conf
@@ -8,7 +8,7 @@ eqwalizer {
     error_depth = ${?EQWALIZER_ERROR_DEPTH}
     clause_coverage = true
     clause_coverage = ${?EQWALIZER_CLAUSE_COVERAGE}
-    report_bad_maps = false
+    report_bad_maps = true
     report_bad_maps = ${?EQWALIZER_REPORT_BAD_MAPS}
     overloaded_spec_dynamic_result = false
     overloaded_spec_dynamic_result = ${?EQWALIZER_OVERLOADED_SPEC_DYNAMIC_RESULT}