Make auto gas configurable

Author: isovector

plugins/hls-tactics-plugin/src/Wingman/Auto.hs

@@ -1,5 +1,7 @@
+
 module Wingman.Auto where
 
+import           Control.Monad.Reader.Class (asks)
 import           Control.Monad.State (gets)
 import qualified Data.Set as S
 import           Refinery.Tactic
@@ -17,13 +19,14 @@ auto :: TacticsM ()
 auto = do
   jdg <- goal
   skolems <- gets ts_skolems
+  gas <- asks $ cfg_auto_gas . ctxConfig
   current <- getCurrentDefinitions
   traceMX "goal" jdg
   traceMX "ctx" current
   traceMX "skolems" skolems
   commit knownStrategies
     . tracing "auto"
-    . localTactic (auto' 4)
+    . localTactic (auto' gas)
     . disallowing RecursiveCall
     . S.fromList
     $ fmap fst current