ThemisSolver

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	0 of 158	100%	0 of 8	100%	0	6	0	40	0	2
ThemisSolver(ThemisParser)		100%		100%	0	5	0	39	0	1
getProject()		100%		n/a	0	1	0	1	0	1