Snaipe
|
8628b5fbea
|
Removed unused exception variable name from throw assersions
|
2015-09-08 22:48:06 +02:00 |
|
Snaipe
|
3ba88bb314
|
Extracted GCC-specific pragma from the assert macro
|
2015-09-08 22:41:50 +02:00 |
|
Snaipe
|
5247808140
|
Renamed asprintf to cr_asprintf for compatibility
|
2015-09-08 22:12:22 +02:00 |
|
Snaipe
|
29860d46be
|
Made criterion_continue_test static
|
2015-09-08 20:48:30 +02:00 |
|
Snaipe
|
9969604915
|
Moved the pipe definition out of the API, and use the system asprintf declaration when available
|
2015-09-08 20:36:23 +02:00 |
|
Snaipe
|
9c58e8d1e1
|
Added empty string assertions
|
2015-09-08 20:25:22 +02:00 |
|
Snaipe
|
ae429f9bd2
|
Fixed comparison tests to reflect the API change
|
2015-09-08 19:22:28 +02:00 |
|
Snaipe
|
01831b2ed5
|
Fixed crashes introduced by the API change
|
2015-09-08 19:21:53 +02:00 |
|
Snaipe
|
4d114fdd38
|
Changed the assert interface to accept a format string
|
2015-09-08 18:49:24 +02:00 |
|
Snaipe
|
b8374bca16
|
[Issue #36] Added throw assertions
|
2015-09-07 20:09:28 +02:00 |
|
Snaipe
|
afad78c433
|
Added generated datapoints theory sample
|
2015-09-07 18:03:05 +02:00 |
|
Snaipe
|
f6b6139607
|
Fixed regression on --pattern handling
|
2015-09-07 16:17:16 +02:00 |
|
Snaipe
|
d7466dc0e5
|
Refactored the default main to allow dynamic test registration
|
2015-09-07 15:55:36 +02:00 |
|
Snaipe
|
aca092b9d6
|
Refactored CLI parameter handling in its own function for reusability
|
2015-09-07 15:27:15 +02:00 |
|
Snaipe
|
3028af859d
|
Switched gcov to gcov 4.9 in travis config
|
2015-09-07 11:28:39 +02:00 |
|
Snaipe
|
1658c4ed72
|
Fixed artifacts releases on appveyor
|
2015-09-07 11:16:31 +02:00 |
|
Snaipe
|
f31a7b90d5
|
Cleaned up appveyor config
|
2015-09-07 11:04:33 +02:00 |
|
Snaipe
|
f2f87cdc1a
|
Updated Setup steps in documentation
|
2015-09-07 11:00:52 +02:00 |
|
Snaipe
|
f5eefba060
|
Merge branch 'features/cpp-compat-2' into bleeding
|
2015-09-07 10:35:43 +02:00 |
|
Snaipe
|
7e1bdc54f8
|
Updated README with C++ mentions
|
2015-09-07 10:35:17 +02:00 |
|
Snaipe
|
60760092b4
|
Fixed __VA_ARG__ warnings & added -pedantic to c++ samples
|
2015-09-07 10:22:37 +02:00 |
|
Snaipe
|
17cd3c6509
|
Removed bogus assert in asserts.{c,cc} samples
|
2015-09-07 08:45:38 +02:00 |
|
Snaipe
|
a9f325874a
|
Switched type of 'passed' to bool instead of int
|
2015-09-07 08:37:28 +02:00 |
|
Snaipe
|
59e91f9404
|
Removed extra semicolon
|
2015-09-07 08:24:52 +02:00 |
|
Snaipe
|
47d1293303
|
Made the theory interface C++11-compatible
|
2015-09-07 08:22:02 +02:00 |
|
Snaipe
|
f35bc3d21c
|
Fixed VC++ not registering any sections and internal crashes due to test data not being zero-filled
|
2015-09-07 07:26:53 +02:00 |
|
Snaipe
|
ffd6c5a5e7
|
Revert "Added RDP details for Appveyor VM debugging."
This reverts commit 4b2fb35d31 .
|
2015-09-07 05:42:29 +02:00 |
|
Snaipe
|
18f218f4df
|
Revert "Removed report.cc from MinGW build on appveyor"
This reverts commit 20d5f6fe59 .
|
2015-09-07 05:42:25 +02:00 |
|
Snaipe
|
91200ed8dd
|
Changed path ordering to include C:\MinGW\bin before anything else
|
2015-09-07 05:35:32 +02:00 |
|
Snaipe
|
4b2fb35d31
|
Added RDP details for Appveyor VM debugging.
|
2015-09-07 05:27:00 +02:00 |
|
Snaipe
|
7fca89739f
|
Removed fast-fail flag for appveyor builds
|
2015-09-07 05:17:27 +02:00 |
|
Snaipe
|
63f47f170a
|
Added zero-filling code for assert stats before sending them to the monitoring process
|
2015-09-07 05:13:34 +02:00 |
|
Snaipe
|
20d5f6fe59
|
Removed report.cc from MinGW build on appveyor
|
2015-09-07 03:57:00 +02:00 |
|
Snaipe
|
a411b22ea3
|
Switched appveyor badge link to display the bleeding status
|
2015-09-07 03:48:20 +02:00 |
|
Snaipe
|
b594f5cf8a
|
Added missing section suffix on report hooks on Windows VC builds
|
2015-09-07 03:02:41 +02:00 |
|
Snaipe
|
dc0f871d0e
|
Fixed mismatching parenthesis in section attribute on OS X
|
2015-09-07 02:59:29 +02:00 |
|
Snaipe
|
c94fef2837
|
Switched compiler to use gcc 4.9
|
2015-09-07 02:34:03 +02:00 |
|
Snaipe
|
ba051b8869
|
Fixed missing initializer for C samples on assert substitution
|
2015-09-07 02:20:18 +02:00 |
|
Snaipe
|
fd9cf1755a
|
Added missing .cc samples
|
2015-09-07 02:00:03 +02:00 |
|
Snaipe
|
b9292bb42d
|
Temporarily removed -pedantic from c++ samples
|
2015-09-07 01:58:15 +02:00 |
|
Snaipe
|
8e66ff173f
|
Restored cr_abort_test default message
|
2015-09-07 01:57:05 +02:00 |
|
Snaipe
|
496710164e
|
Refactored samples for cmake compilation
|
2015-09-07 01:56:38 +02:00 |
|
Snaipe
|
416b034fe1
|
Made the interface C++11-compatible
|
2015-09-07 01:15:31 +02:00 |
|
Snaipe
|
c03a149507
|
Added common usage assume macro functions for theories
|
2015-09-06 21:59:50 +02:00 |
|
Snaipe
|
89d8b4dbcf
|
Fixed typo in readme
|
2015-09-06 20:19:06 +02:00 |
|
Franklin Mathieu
|
473e3cb66d
|
Merge pull request #34 from am11/bleeding
Repo: Mutes a modifier mismatch warning
|
2015-09-06 11:51:03 -06:00 |
|
Adeel
|
54ba0135d4
|
Repo: Mutes a modifier mismatch warning.
* Also added `CMakeFiles/` dir to `.gitignore` and updated README.
|
2015-09-06 20:08:49 +03:00 |
|
Snaipe
|
ee1828ff46
|
Fixed UB introduced by the previous commit
|
2015-09-06 07:54:20 -07:00 |
|
Snaipe
|
7577cf8940
|
Fixed all criterion-related warnings with MSVC
|
2015-09-06 07:23:21 -07:00 |
|
Snaipe
|
34aacc2dd8
|
Merge branch 'csptr-iso-c99' into bleeding
|
2015-09-06 03:44:45 +02:00 |
|