worked around a .NET Process API inconsistency which sometimes caused S# to wait indefinitely for LtsMin to exit even though it already exited
worked around a .NET Process API inconsistency which sometimes caused S# to wait indefinitely for LtsMin to exit even though it already exited

maul-esel/ssharp,maul-esel/ssharp,isse-augsburg/ssharp,cubeme/ssharp,maul-esel/ssharp,isse-augsburg/ssharp,isse-augsburg/ssharp,isse-augsburg/ssharp,cubeme/ssharp,maul-esel/ssharp,cubeme/ssharp,isse-augsburg/ssharp