4 commits

Author	SHA1	Message	Date
Snaipe	0de2797dee	Renamed assume macros for consistency	2015-09-22 12:12:54 +02:00
Snaipe	9531e5d970	Added clarification on theories vs parameterized tests in documentation	2015-09-21 18:19:55 +02:00
Snaipe	c03a149507	Added common usage assume macro functions for theories	2015-09-06 21:59:50 +02:00
Snaipe	00783d66ea	Added documentation for theories	2015-09-03 23:51:59 +02:00