adding auxiliary lemmas

runtimeverification · Sep 2, 2024 · 088597b · 088597b
1 parent a6eb909
commit 088597b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/kontrol.toml b/kontrol.toml
@@ -6,6 +6,7 @@ verbose                    = true
 debug                      = false
 require                    = 'test/kontrol/lido-lemmas.k'
 module-import              = 'VetoSignallingTest:LIDO-LEMMAS'
+auxiliary-lemmas           = true
 
 [prove.default]
 foundry-project-root       = '.'