Add a new DEBUG_FLOAT_FORMAT and use it when raising game exceptions.

[dunshire.git] / dunshire / options.py

diff --git a/dunshire/options.py b/dunshire/options.py
index 976fe082421539ef118d73f9ee7ac8f077efa971..719d7f2228a19e72aa52569fec4f88a9117668a7 100644 (file)
--- a/dunshire/options.py
+++ b/dunshire/options.py
@@ -15,6 +15,14 @@ improves the solubility of real problems is a question for the
 philosophers.
 """
 
+DEBUG_FLOAT_FORMAT = '%.20f'
+"""
+The float output format to use when something goes wrong. If we need to
+produce a random test case, for example, then we need all of the digits
+of the things involved. If we try to recreate the problem using only,
+say, the first seven digits of each number, then the resulting game
+might not reproduce the failure.
+"""
 
 FLOAT_FORMAT = '%.7f'
 """