Something went wrong on our end
Added the tests
Compare changes
- Martin Weise authored
Signed-off-by:
Martin Weise <martin.weise@tuwien.ac.at>
@@ -43,7 +47,7 @@ fi
@@ -51,10 +55,13 @@ if [[ $RES != "" ]]; then
\ No newline at end of file