diff sat_frontends/jp/constants.py @ 3715:b9718216a1c0 0.9

merge bookmark 0.9
author Goffi <goffi@goffi.org>
date Wed, 01 Dec 2021 16:13:31 +0100
parents cbb988a6f507
children 4b842c1fb686
line wrap: on
line diff
--- a/sat_frontends/jp/constants.py	Tue Nov 30 23:31:09 2021 +0100
+++ b/sat_frontends/jp/constants.py	Wed Dec 01 16:13:31 2021 +0100
@@ -67,6 +67,7 @@
     SINGLE_ITEM = "single_item"  # only one item is allowed
     MULTI_ITEMS = "multi_items"  # multiple items are allowed
     NO_MAX = "no_max"  # don't add --max option for multi items
+    CACHE = "cache"  # add cache control flag
 
     # ANSI
     A_HEADER = A.BOLD + A.FG_YELLOW