Copilot.Compile.SBV.Driver

Generates the code around the SBV functions to hold the state-updates, external variables, etc. Note: this just creates calls to SBV-generated functions, it does not create them! (Use the names from Common.hs to ensure agreement on names.)

Documentation

driver :: Params -> MetaTable -> Spec -> String -> String -> IO ()

driverName :: Params -> String