Add self-declared test tags - #238

Add self-declared test tags#238

zayenz wants to merge 10 commits into

feature/test-libraryGecode/gecode:feature/test-libraryfrom

feature/test-tagsGecode/gecode:feature/test-tagsCopy head branch name to clipboard