Snaipe
|
8986414138
|
Added default message to file asserts
|
2015-09-14 04:15:48 +02:00 |
|
Snaipe
|
b0869165af
|
Added more file assertions and file comparison function
|
2015-09-14 03:58:25 +02:00 |
|
Snaipe
|
5e8491af90
|
Added any_throw and none_throw assertions
|
2015-09-14 03:24:25 +02:00 |
|
Snaipe
|
d4271865bc
|
Added default message for throw assertions
|
2015-09-14 02:14:46 +02:00 |
|
Snaipe
|
98eb5e45a6
|
Added elapsed time on time out
|
2015-09-13 15:02:13 +02:00 |
|
Snaipe
|
98a892d344
|
[Issue #33] Merge branch 'features/redirect' into bleeding
|
2015-09-13 14:03:55 +02:00 |
|
Snaipe
|
17a609ba88
|
Fixed windows redirect code not working for stderr
|
2015-09-12 10:22:14 -07:00 |
|
Snaipe
|
6c35c64456
|
Fixed windows redirection not replacing standard file pointers
|
2015-09-12 09:33:55 -07:00 |
|
Snaipe
|
30e71b42eb
|
Corrected the windows redirect code for pipe initialization
|
2015-09-12 08:52:03 -07:00 |
|
Snaipe
|
7bc54daaad
|
Switched windows timer code to a thread-based implementation
|
2015-09-12 17:27:59 +02:00 |
|
Snaipe
|
e29d5a13cf
|
Added timeout code for tests
|
2015-09-12 17:27:59 +02:00 |
|
Snaipe
|
d1861db6d0
|
Removed debug code
|
2015-09-11 02:50:17 +02:00 |
|
Snaipe
|
2642c420f4
|
Added missing header to posix-compat.c
|
2015-09-11 02:38:10 +02:00 |
|
Snaipe
|
9444d4f0a1
|
Fixed windows redirect pipe code
|
2015-09-11 02:27:08 +02:00 |
|
Snaipe
|
3dc9d47c0b
|
Added file assertions for redirection
|
2015-09-11 02:15:45 +02:00 |
|
Snaipe
|
3744d67b0c
|
Fixed typo in cr_redirect in windows-specific code
|
2015-09-10 05:36:03 +02:00 |
|
Snaipe
|
53c9edc23e
|
Added redirection functions
|
2015-09-10 05:33:35 +02:00 |
|
Snaipe
|
e2a3a51e3c
|
[Issue #37] Added assert message localization & french translation
|
2015-09-10 03:40:50 +02:00 |
|
Snaipe
|
2d7456fd76
|
Prevent optimizations from zero-summing the wait condition on forked processes on windows
|
2015-09-09 16:20:49 +02:00 |
|
Snaipe
|
352123b2d5
|
Fixed rare worst-case out-of-bounds access in extmatch algorithm
|
2015-09-09 03:00:49 +02:00 |
|
Snaipe
|
9896377a47
|
Added clarification to the proof of the extmatch length heuristic
|
2015-09-09 02:56:54 +02:00 |
|
Snaipe
|
5247808140
|
Renamed asprintf to cr_asprintf for compatibility
|
2015-09-08 22:12:22 +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
|
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
|
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
|
416b034fe1
|
Made the interface C++11-compatible
|
2015-09-07 01:15:31 +02: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
|
785c9e2797
|
Exported main as API method
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
933bbefa11
|
Fixed wrong allocation size for theory indices
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
5d119c607e
|
Fixed SECTION_STOP_ -> SECTION_END_ typo
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
4ccabada40
|
Added missing section stop symbols for MSVC
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
030fc1de19
|
Added MSVC glue for missing section symbols
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
8871ae946b
|
Removed VLA from theories.c
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
95539c89ad
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
b9e3923b7c
|
Removed any usage of GNU C-only macros from libcsptr, using smalloc & sfree directly instead
|
2015-09-06 00:37:30 +02:00 |
|
Snaipe
|
29befaf779
|
Added better parameter formatting for theories & added bool theory parameter to misc sample
|
2015-09-04 16:39:40 +02:00 |
|
Snaipe
|
eff36eea2d
|
Added 0x prefix for pointer parameters in theories
|
2015-09-04 15:53:25 +02:00 |
|
Snaipe
|
ea814f3611
|
Fixed missing field initializer warning on older GCC versions
|
2015-09-04 01:09:59 +02:00 |
|
Snaipe
|
e9899932ca
|
Prevent theories from aborting the whole test & fixed messages being cummulatively concatenated
|
2015-09-03 21:44:26 +02:00 |
|
Snaipe
|
5d25030a6c
|
[Issue #31] Merge branch 'features/theories' into bleeding
|
2015-09-03 19:00:15 +02:00 |
|
Snaipe
|
1757752dd1
|
Added reporting & logging on theory failure
|
2015-09-03 17:29:46 +02:00 |
|
Snaipe
|
c9501805b6
|
Added support for theories
|
2015-09-03 06:38:44 +02:00 |
|
Snaipe
|
b940ad3790
|
[Issue #32] Added ability to test the exit status of a test.
|
2015-09-01 19:09:11 +02:00 |
|
Snaipe
|
b7528a9542
|
Fixed duplicated output when writing in PRE_ALL report hook with a redirected output
|
2015-08-20 19:56:23 +02:00 |
|
Snaipe
|
0520a36723
|
Implemented basename for compatibility with OS X and Windows
|
2015-08-20 18:04:29 +02:00 |
|
Snaipe
|
b4fc22e7e4
|
Added -S switch to display the base name of source files
|
2015-08-20 08:05:44 +02:00 |
|