| .. |
|
log
|
Added elapsed time on time out
|
2015-09-13 15:02:13 +02:00 |
|
abort.c
|
Added reporting & logging on theory failure
|
2015-09-03 17:29:46 +02:00 |
|
abort.h
|
Added reporting & logging on theory failure
|
2015-09-03 17:29:46 +02:00 |
|
asprintf.c
|
Renamed asprintf to cr_asprintf for compatibility
|
2015-09-08 22:12:22 +02:00 |
|
common.h
|
Removed VLA and ?: GNU extension occurences
|
2015-09-06 00:37:30 +02:00 |
|
config.h.in
|
Fixed extmatch functionality always being ignored
|
2015-07-31 11:54:10 +02:00 |
|
entry.c
|
Refactored the default main to allow dynamic test registration
|
2015-09-07 15:55:36 +02:00 |
|
event.c
|
Fixed crashes introduced by the API change
|
2015-09-08 19:21:53 +02:00 |
|
event.h
|
Moved the pipe definition out of the API, and use the system asprintf declaration when available
|
2015-09-08 20:36:23 +02:00 |
|
extmatch.c
|
Fixed rare worst-case out-of-bounds access in extmatch algorithm
|
2015-09-09 03:00:49 +02:00 |
|
extmatch.h
|
Added missing license headers
|
2015-08-06 00:23:22 +02:00 |
|
file.c
|
Added more file assertions and file comparison function
|
2015-09-14 03:58:25 +02:00 |
|
i18n.c
|
Added default message to file asserts
|
2015-09-14 04:15:48 +02:00 |
|
i18n.h
|
[Issue #37] Added assert message localization & french translation
|
2015-09-10 03:40:50 +02:00 |
|
main.c
|
Refactored the default main to allow dynamic test registration
|
2015-09-07 15:55:36 +02:00 |
|
options.c
|
Fixed rare crash where the output provider does not get defined
|
2015-04-14 17:22:55 +02:00 |
|
ordered-set.c
|
Fixed all criterion-related warnings with MSVC
|
2015-09-06 07:23:21 -07:00 |
|
posix-compat.c
|
Added file mocking utility
|
2015-09-15 19:02:13 +02:00 |
|
posix-compat.h
|
Added file mocking utility
|
2015-09-15 19:02:13 +02:00 |
|
process.c
|
Added file assertions for redirection
|
2015-09-11 02:15:45 +02:00 |
|
process.h
|
Trying a safer approach for a fork() alternative
|
2015-03-26 22:18:43 +01:00 |
|
report.c
|
Made the interface C++11-compatible
|
2015-09-07 01:15:31 +02:00 |
|
report.h
|
Fixed all criterion-related warnings with MSVC
|
2015-09-06 07:23:21 -07:00 |
|
runner.c
|
Added timeout code for tests
|
2015-09-12 17:27:59 +02:00 |
|
runner.h
|
Fixed windows code for section retrieving and changed section names to fit under 8 bytes.
|
2015-08-03 15:15:48 +02:00 |
|
stats.c
|
Added timeout code for tests
|
2015-09-12 17:27:59 +02:00 |
|
stats.h
|
Added stats on suites
|
2015-03-23 18:37:51 +01:00 |
|
theories.c
|
Moved the pipe definition out of the API, and use the system asprintf declaration when available
|
2015-09-08 20:36:23 +02:00 |
|
timer.c
|
Switched windows timer code to a thread-based implementation
|
2015-09-12 17:27:59 +02:00 |
|
timer.h
|
Added timeout code for tests
|
2015-09-12 17:27:59 +02:00 |
