Fabian Kaiser 19ee597d8c Fixed the original bug in the smart home scenario in a straight-forward way. A proper fix may be needed later. %!s(int64=2) %!d(string=hai) anos
..
java 19ee597d8c Fixed the original bug in the smart home scenario in a straight-forward way. A proper fix may be needed later. %!s(int64=2) %!d(string=hai) anos
resources a60b385c37 Initial SWaT commit %!s(int64=2) %!d(string=hai) anos