From 084e7f2fed024fc5363398f5882c015854ae5a99 Mon Sep 17 00:00:00 2001 From: anupsdf Date: Fri, 20 Dec 2024 15:18:02 -0800 Subject: [PATCH] Update INVARIANT_CHECKS documentation --- docs/stellar-core_example.cfg | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/docs/stellar-core_example.cfg b/docs/stellar-core_example.cfg index fba9e6d437..77699bbb94 100644 --- a/docs/stellar-core_example.cfg +++ b/docs/stellar-core_example.cfg @@ -425,6 +425,8 @@ RUN_STANDALONE=false # on bucket apply. # Strings specified are matched (as regex) against the list of invariants. # For example, to enable all invariants use ".*" +# INVARIANT_CHECKS = [.*] +# # List of invariants: # - "AccountSubEntriesCountIsValid" # Setting this will cause additional work on each operation apply - it @@ -440,7 +442,8 @@ RUN_STANDALONE=false # detailed information about what is checked see the comment in the header # invariant/BucketListIsConsistentWithDatabase.h. # The overhead may cause a system to catch-up more than once before being -# in sync with the network. +# in sync with the network. This may also increase startup time as it checks +# the entire state of the database. # - "CacheIsConsistentWithDatabase" # Setting this will cause additional work on each operation apply - it # checks if internal cache of ledger entries is consistent with content of @@ -466,7 +469,12 @@ RUN_STANDALONE=false # in the header invariant/LiabilitiesMatchOffers.h. # The overhead may cause slower systems to not perform as fast as the rest # of the network, caution is advised when using this. -INVARIANT_CHECKS = [] +INVARIANT_CHECKS = [ "AccountSubEntriesCountIsValid", +"ConservationOfLumens", +"ConstantProductInvariant", +"LedgerEntryIsValid", +"LiabilitiesMatchOffers", +"SponsorshipCountIsValid" ] # MANUAL_CLOSE (true or false) defaults to false