assertHas
fun Solver.assertHas(libraries: Runtime, staticKb: Theory, dynamicKb: Theory, flags: FlagStore, inputs: InputStore, outputs: OutputStore)
Asserts that the receiver Solver was built with exactly the given libraries, staticKb, dynamicKb, flags, inputs and outputs, used by TestSolverConstruction to check a Solver/MutableSolver built via either SolverFactory.solverOf-style factory methods or the builder API ends up with the expected configuration.