Commit graph

787 commits

Author SHA1 Message Date
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
62b4f2171b Fixed failing Appveyor MinGW builds due to '_hypot' not being defined.
This is caused by a MinGW bug in math.h. See http://ehc.ac/p/mingw/bugs/2250/
for more information.
2015-11-16 19:25:56 +01:00
Snaipe
edc72c9554 Removed math.h dependency on base assertions 2015-11-16 18:19:26 +01:00
Snaipe
f0e4f758d2 Fixed regression tests being sensitive to line endings 2015-11-16 08:27:23 -08:00
Snaipe
3e0cba01f4 Fixed appveyor not displaying the test logs in the event of failure 2015-11-16 16:34:00 +01:00
Snaipe
d59b810a56 Added Foundation framework to link flags on OS X + Clang 2015-11-16 16:06:25 +01:00
Snaipe
5e32955935 Added cmake 3.4.0 objective C compiler include fix 2015-11-16 15:13:34 +01:00
Snaipe
5388dd0341 Removed intermediate function pointer cast to integer in theory function call 2015-11-16 14:50:00 +01:00
Snaipe
44d9e436fe Removed pedantic warnings and used GNU C 99 standard 2015-11-16 14:47:56 +01:00
Snaipe
cb02a30576 Removed MINGW_DEFINE_OFF_T definition when option is off 2015-11-16 00:33:58 +01:00
Snaipe
10e933d758 Fixed pedantic warnings for C99 + POSIX 2008 compatibility 2015-11-16 00:21:30 +01:00
Snaipe
e7faf8aaed Removed ansi checks for off_t definition, and added option to define it if needed. 2015-11-15 22:52:25 +01:00
Snaipe
dd557f6f68 Added __STRICT_ANSI__ check for off_t definition on MinGW builds 2015-11-15 22:41:17 +01:00
Snaipe
900a1e0a29 Refactored cr_off{32,64} definitions to its own header file to avoid collisions 2015-11-15 19:48:29 +01:00
Snaipe
a76e828dc7 Fixed typo on MinGW code 2015-11-15 19:42:07 +01:00
Snaipe
969f0fed74 Extend commit 1617190 on src/compat/posix.h 2015-11-15 19:37:08 +01:00
Snaipe
161719070c Fixed recent MinGW builds failing due to quick fix on the definitions of off_t and off64_t 2015-11-15 19:32:17 +01:00
Snaipe
c77ec23678 Fixed regression test for TAP output format 2015-11-12 23:37:13 +01:00
Snaipe
e41b3a6572 Removed source build for clang on osx travis builds 2015-11-12 18:26:04 +01:00
Snaipe
62e01eed74 Removed clang installation on OSX gcc builds 2015-11-12 17:02:14 +01:00
Snaipe
03ed0a910a Switched OSX image to default on travis CI builds 2015-11-12 16:54:48 +01:00
Snaipe
4322fb50cf Fixed travis script conditions 2015-11-12 16:45:32 +01:00
Snaipe
b25756b46e Install cmake on travis osx build 2015-11-12 16:36:42 +01:00
Snaipe
947bdbf4e1 Fixed typo in travis config 2015-11-12 16:23:25 +01:00
Snaipe
022cc88e24 Fixed substitution chaining not working on bash 2015-11-12 16:20:40 +01:00
Snaipe
f6cf64f71f Cleaned up travis config 2015-11-12 16:02:33 +01:00
Snaipe
57b95ab03e [Issue #73] Merge branch 'features/json-reporting' into bleeding 2015-11-11 13:59:48 +01:00
Snaipe
3e5f43ff74 Fixed XML regression tests 2015-11-11 13:53:07 +01:00
Snaipe
17f16f60ce Updated gitignore 2015-11-11 13:48:18 +01:00
Snaipe
586be28378 Fixed script regression tests 2015-11-11 13:45:52 +01:00
Snaipe
a6ff1f110c Added json regression test 2015-11-11 13:43:51 +01:00
Snaipe
3c9086dd63 Fixed typo in json output 2015-11-11 13:41:08 +01:00
Snaipe
3cfb0aa5a8 Added documentation for --json 2015-11-11 13:26:49 +01:00
Snaipe
e59adbff47 Updated json reporter for the new reporting system 2015-11-11 13:19:03 +01:00
Snaipe
f940632c3a Added json output provider 2015-11-11 13:13:51 +01:00
Snaipe
8624880183 [Issue #68] Merge branch 'features/new-reporting' into bleeding
Changelog:

~ Overhauls the output reporting system
+ Adds registration of user defined output reporters
+ Adds --output CLI switch
+ Adds --quiet CLI switch
- Removes CRITERION_ENABLE_{TAP,XML} environment variables
2015-11-11 12:51:53 +01:00
Snaipe
1b3be6458f Fixed missing import for windows compat in entry/main.c 2015-11-11 12:45:26 +01:00
Snaipe
c240b6ff2f Added --output to CLI help message 2015-11-11 12:30:24 +01:00
Snaipe
e4b1a6b3da Fixed warnings in entry/main.c 2015-11-11 12:24:39 +01:00
Snaipe
68b1d4dfcd Added --output CLI switch 2015-11-11 12:05:06 +01:00
Snaipe
a046cb2b3b Added documentation for registering custom output providers 2015-11-11 11:48:39 +01:00
Snaipe
d165e99e91 Relaxed io tests timeout to 1 second 2015-11-11 11:07:47 +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
06dcdc32c7 Fixed typo in env doc, added missing doc for CRITERION_DISABLE_TIME_MEASUREMENTS 2015-11-11 10:40:30 +01:00