Snaipe
|
aaa21d922c
|
Simplified empty tests & suite placeholders in runner
|
2015-12-06 14:27:44 +01:00 |
|
Snaipe
|
30c3afedda
|
Added first tentative to decouple the wrappers from the library
|
2015-12-05 01:37:58 +01:00 |
|
Snaipe
|
214bd95a62
|
[Issue #83] Added single test execution mode
|
2015-12-04 18:44:46 +01:00 |
|
Snaipe
|
30f2982423
|
Fixed main not cleaning up on special CLI actions
|
2015-12-04 17:41:14 +01:00 |
|
Snaipe
|
503f9e2896
|
Properly set up cmake install components
|
2015-11-29 00:33:58 +01:00 |
|
Snaipe
|
689eee1545
|
Removed unused deb dependencies and activated objective c support on deb builds
|
2015-11-28 14:36:15 +01:00 |
|
Snaipe
|
ba21d658ca
|
Added missing files for ppa builds
|
2015-11-28 14:33:09 +01:00 |
|
Snaipe
|
2ccbdbd578
|
Added deb generation rules in cmake module
|
2015-11-28 14:26:08 +01:00 |
|
Snaipe
|
c4bc28b7fb
|
Added THEORIES cmake option
|
2015-11-27 15:53:10 +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
|
d16ce3ae61
|
Refactored main.c -> params.c
|
2015-11-27 12:52:40 +01:00 |
|
Snaipe
|
3e48959798
|
Added --quiet implication of having a provider write to stderr in documentation
|
2015-11-27 12:31:38 +01:00 |
|
Snaipe
|
8a0540b5ab
|
Revert "Added install checks on travis builds"
This reverts commit 56f0abfd49.
|
2015-11-27 12:26:49 +01:00 |
|
Snaipe
|
11b84284f7
|
Print strerror when failing to open a report file
|
2015-11-27 12:24:42 +01:00 |
|
Snaipe
|
07f109eb6e
|
Added error messages when reporting fails
|
2015-11-27 12:18:46 +01:00 |
|
Snaipe
|
85095ba7e7
|
Disable --quiet when the provider output path is not stderr
|
2015-11-27 11:59:39 +01:00 |
|
Snaipe
|
56f0abfd49
|
Added install checks on travis builds
|
2015-11-27 11:48:52 +01:00 |
|
Snaipe
|
41d7123b41
|
Cleaned up travis config
|
2015-11-27 01:11:52 +01:00 |
|
Snaipe
|
635ddb204f
|
Refactored travis config to install gcc 4.9 only on the relevant configurations
|
2015-11-27 00:52:14 +01:00 |
|
Snaipe
|
a5de951a48
|
Fixed travis build not running tests by default
|
2015-11-27 00:30:08 +01:00 |
|
Snaipe
|
6bfdaffea8
|
Fixed travis build translating 'ON' as 'true' in environment variables.
|
2015-11-27 00:24:39 +01:00 |
|
Snaipe
|
49abc86066
|
[Issue #76] Updated dyncall to latest for icc fix
|
2015-11-27 00:13:59 +01:00 |
|
Snaipe
|
1beccec921
|
Added back CRITERION_ENABLE_TAP and added CRITERION_OUTPUTS environment variable.
|
2015-11-26 00:23:27 +01:00 |
|
Snaipe
|
26b25cf1f9
|
Updated docs on the required version of GCC
|
2015-11-25 20:16:26 +01:00 |
|
Snaipe
|
fa29b3c6db
|
Added back GCC 4.6 support
|
2015-11-25 20:10:09 +01:00 |
|
Snaipe
|
6a766ca432
|
[v2.1.1] Merge branch 'patch' (patch release)
This patch fixes accesses over freed assert messages, causing the TAP
output to be broken.
|
2015-11-25 12:41:30 +01:00 |
|
Snaipe
|
6f9d29a602
|
[Issue #78] Fixed assert message being freed too early, leading to some dangling pointers to invalid memory
Cherry-pick of commit 8197bef66c.
|
2015-11-25 12:33:56 +01:00 |
|
Snaipe
|
5bdccd862a
|
Fixed unused parameter warnings
|
2015-11-21 00:07:53 +01:00 |
|
Snaipe
|
80a45b5ecc
|
[Issue #76] Fixed compilation errors for ICC
|
2015-11-20 19:10:35 +01:00 |
|
Snaipe
|
2fbf8e8f1d
|
Updated libcsptr for icc compilation
|
2015-11-20 18:49:48 +01:00 |
|
Snaipe
|
34fb71dcd6
|
Merge branch 'features/refactor' into bleeding
|
2015-11-19 14:43:35 +01:00 |
|
Snaipe
|
eeb7ab24f3
|
Fixed list formatting for supported compilers in documentation
|
2015-11-19 14:32:24 +01:00 |
|
Snaipe
|
cb9d702f06
|
[Issue #77] Fixed msgmerge being called with --lang on versions <=0.17 by cmake.
|
2015-11-19 02:13:17 +01:00 |
|
Snaipe
|
a7d5ecf69c
|
Refactored redirections and hooks
|
2015-11-18 16:31:31 +01:00 |
|
Snaipe
|
221df82a12
|
Changed DIRECTORY to PATH in get_filename_component for cmake <2.8.12 compatibility
|
2015-11-18 14:00:17 +01:00 |
|
Snaipe
|
eb36959023
|
Fixed cmake header file installation flattening include subdirectories
|
2015-11-18 13:20:03 +01:00 |
|
Snaipe
|
f656fb4279
|
Added missing header files in cmake install files
|
2015-11-18 13:12:51 +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 |
|