Generic simulator: introduce "SimulatorConfig" abstraction
Generic simulator: introduce "SimulatorConfig" abstraction

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script