S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.
Wenn mehrere Tests direkt hintereinander ausgeführt werden, läuft der erste Test ganz normal durch und am Ende werden die SSH-Verbindungen getrennt. Beim zweiten Test werden die Verbindungen aber nach dem Erzeugen der Eingabedaten bereits getrennt.
Connectoren vielleicht nicht resetten?
Wenn mehrere Tests direkt hintereinander ausgeführt werden, läuft der erste Test ganz normal durch und am Ende werden die SSH-Verbindungen getrennt. Beim zweiten Test werden die Verbindungen aber nach dem Erzeugen der Eingabedaten bereits getrennt. Connectoren vielleicht nicht resetten?