PSharp
PSharp copied to clipboard
Loading settings from the .config file
PSharpTestser currently loads appSettings from the .config file of the assembly under test. But other things (like assembly bindings) are not loaded.