Commit graph

477 commits

Author SHA1 Message Date
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
Snaipe
04523d303f Fixed artifacts being pushed when there is no git tag 2015-09-06 03:42:03 +02:00
Snaipe
6b91180c9a Disabled comparison tests for MSVC builds 2015-09-06 03:29:41 +02:00
Snaipe
2e1ac26f5a Trying to fix the 7z command 2015-09-06 03:16:17 +02:00
Snaipe
e42c57fdac Cleaned up appveyor config 2015-09-06 02:56:47 +02:00
Snaipe
af45e407bb Removed script-based tests when building with visual studio 2015-09-06 02:49:10 +02:00
Snaipe
d65b1c951d Copy the missing criterion.dll into the samples & test build directories 2015-09-06 02:42:38 +02:00
Snaipe
c0c80d5888 Fixed environment variables not being expanded in ps script in appveyor config 2015-09-06 02:28:41 +02:00