Commit graph

202 commits

Author SHA1 Message Date
Snaipe
c5b4ca27d7 Fixed redirected standard streams being leaked by cr_(assert|expect)_std(out|err) 2016-03-05 15:51:50 +01:00
Snaipe
de5ec40466 Fixed out of bounds during assert message sending 2016-02-22 16:56:00 +01:00
Snaipe
ec5c8958cb Fixed naming convention conflicts for internal variables used by the implementation of cr_assert 2016-02-16 17:47:02 +01:00
Snaipe
1f674d3ffb Fixed empty format string warning with GCC 4.8 2016-02-16 17:35:14 +01:00
Snaipe
8c1c9c05ee Fixed file-to-file comparison assert message being corrupted 2016-02-10 23:27:51 +01:00
Snaipe
78a62465e9 Merge branch 'features/language-decouple' into bleeding 2015-12-08 13:52:29 +01:00
Snaipe
f913940427 Fixed decoupling for parameterized tests and fixed missing definitions 2015-12-08 02:36:23 +01:00
Snaipe
e7234512ed Added doxygen for theories.h 2015-12-08 01:44:42 +01:00
Snaipe
0dfd69b4b9 Added doxygen for redirect.h 2015-12-08 01:10:06 +01:00
Snaipe
c681d2a42e Added doxygen for parameterized.h 2015-12-08 00:34:38 +01:00
Snaipe
93199a1651 Added doxygen for output.h 2015-12-08 00:34:14 +01:00
Snaipe
7c416af673 Added doxygen for options.h 2015-12-08 00:34:02 +01:00
Snaipe
415fc20462 Added doxygen for hooks.h 2015-12-08 00:33:55 +01:00
Snaipe
2e5e4af3c7 Added doxygen docs for alloc.h 2015-12-07 15:03:35 +01:00
Snaipe
00ca6cfc67 Added doxygen docs for abort.h 2015-12-07 15:03:27 +01:00
Snaipe
30c3afedda Added first tentative to decouple the wrappers from the library 2015-12-05 01:37:58 +01:00
Snaipe
5101a514a3 Moved cr_translate_assert_msg out of the public API 2015-11-27 15:42:05 +01:00
Snaipe
d25ea68eb1 Removed the worker function pointer typedef from the public API 2015-11-27 14:21:50 +01:00
Snaipe
5fddb5a0c8 Added doxygen docs for types.h 2015-11-27 13:57:38 +01:00
Snaipe
4185058a89 Added doxygen-style doc in criterion.h 2015-11-27 13:47:35 +01:00
Snaipe
d55869a5e5 Moved criterion_test_params to internal API 2015-11-27 13:44:38 +01:00
Snaipe
090e8571fe Added missing license headers 2015-11-27 12:55:24 +01:00
Snaipe
fa29b3c6db Added back GCC 4.6 support 2015-11-25 20:10:09 +01:00
Snaipe
a7d5ecf69c Refactored redirections and hooks 2015-11-18 16:31:31 +01:00
Snaipe
586f29128d Refactored the implementation of parameterized tests macros to internal/ 2015-11-17 18:24:44 +01:00
Snaipe
bbc5edfb34 Refactored the implementation of theory macros in internal/ 2015-11-17 17:49:27 +01:00
Snaipe
9b993abb93 Refactored tests and assertions implementation to internal/ 2015-11-17 17:33:44 +01:00
Snaipe
7fa0b6580b Refactored internal headers into its own subdirectory 2015-11-17 16:30:00 +01:00
Snaipe
3eea22fcda Reverted removal of cr_theory_abort() 2015-11-17 16:14:30 +01:00
Snaipe
7a6bddd63c Removed unimplemented theory functions 2015-11-17 16:12:16 +01:00
Snaipe
6917eb4bda [Issue #74] Added __clang__ checks on assert.h __GNUC__ ifdefs for better source searching 2015-11-16 20:41:32 +01:00
Snaipe
0722fd4c99 Merge branch 'features/multiple-languages' into bleeding 2015-11-16 20:01:17 +01:00
Snaipe
edc72c9554 Removed math.h dependency on base assertions 2015-11-16 18:19:26 +01:00
Snaipe
10e933d758 Fixed pedantic warnings for C99 + POSIX 2008 compatibility 2015-11-16 00:21:30 +01:00
Snaipe
554f25608f Refactored output_provider -> logger, and moved actual output providers to io/ 2015-11-11 11:04:28 +01:00
Snaipe
8659994fa9 Added auto-initializing output registration, to allow output provider registration before criterion_initialize() 2015-11-11 10:50:35 +01:00
Snaipe
770c312f70 Added --quiet CLI switch 2015-11-11 00:13:20 +01:00
Snaipe
dcfbc13773 Removed TAP & XML reporters 2015-11-10 22:23:40 +01:00
Snaipe
27991e7f66 Exported API for output registration 2015-11-10 22:11:57 +01:00
Snaipe
5fb367c338 Merge branch 'features/xml-reporting' into bleeding 2015-10-06 15:52:11 +02:00
Snaipe
3733c858cb Fixed regression tests sometimes failing because of them being time-dependent 2015-10-06 15:44:09 +02:00
Snaipe
a838e7786f Added XML logging 2015-10-05 16:22:55 +02:00
Adeel
786e70dd1b config: Check strtok_s capability.
Also cleans up redundancies and adds pragma in `UNUSED` macro.
2015-10-03 12:23:16 +03:00
Snaipe
2da6588eab Added better integration for multiple native languages tests 2015-10-03 02:43:24 +02:00
Snaipe
4148d3d5d4 [Issue #64] Prefixed all unprefixed API functions and types 2015-10-02 15:10:41 +02:00
Snaipe
c3fdc08b02 [Issue #64] Prefixed all unprefixed macros with CR_ 2015-10-02 15:02:50 +02:00
Snaipe
c530fd08eb Merge branch 'feature/language-separation' into bleeding 2015-10-02 10:01:46 +02:00
Snaipe
10c9e4eed2 [Issues #65,#66] Delayed TAP output until the end of the tests 2015-10-02 10:00:51 +02:00
Snaipe
547c77266b Added criterion_test_die to abort tests with a message on unhandled exceptions 2015-10-01 23:15:02 +02:00
Snaipe
4dcde5259c Added C/C++ language isolation wrappers 2015-10-01 15:05:22 +02:00