Declarative unit testing for Answer Set Programming projects