Broken tests
Currently SADE's tests aren't executed.
When analyzing this we should also implement a pretty print output in terminal for them.
Currently SADE's tests aren't executed.
When analyzing this we should also implement a pretty print output in terminal for them.