| .. |
|
abort.c
|
Implemented simple server mode
|
2016-01-12 00:17:03 +01:00 |
|
abort.h
|
Fixed decoupling for parameterized tests and fixed missing definitions
|
2015-12-08 02:36:23 +01:00 |
|
client.c
|
Fixed potential overflow and fixed the state stack to be at least 32 bits
|
2016-01-15 14:24:02 +01:00 |
|
client.h
|
Fixed potential overflow and fixed the state stack to be at least 32 bits
|
2016-01-15 14:24:02 +01:00 |
|
coroutine.h
|
Refactored runner coroutine into its own file
|
2015-09-24 16:08:58 +02:00 |
|
ordered-set.c
|
Refactored internal headers into its own subdirectory
|
2015-11-17 16:30:00 +01:00 |
|
report.c
|
Refactored internal headers into its own subdirectory
|
2015-11-17 16:30:00 +01:00 |
|
report.h
|
Fixed pedantic warnings for C99 + POSIX 2008 compatibility
|
2015-11-16 00:21:30 +01:00 |
|
runner.c
|
Added test name in birth messages and made the subtest name optional in phase messages
|
2016-01-15 17:37:44 +01:00 |
|
runner.h
|
[Issue #83] Added single test execution mode
|
2015-12-04 18:44:46 +01:00 |
|
runner_coroutine.c
|
Integrated new protocol into the core
|
2016-01-11 12:21:58 +01:00 |
|
runner_coroutine.h
|
Refactored runner coroutine into its own file
|
2015-09-24 16:08:58 +02:00 |
|
stats.c
|
Integrated new protocol into the core
|
2016-01-11 12:21:58 +01:00 |
|
stats.h
|
Refactored most of the sources
|
2015-09-16 21:18:58 +02:00 |
|
test.c
|
Implemented simple server mode
|
2016-01-12 00:17:03 +01:00 |
|
theories.c
|
Fixed old gcc warnings
|
2016-01-15 14:24:02 +01:00 |
|
worker.c
|
Implemented simple server mode
|
2016-01-12 00:17:03 +01:00 |
|
worker.h
|
Integrated new protocol into the core
|
2016-01-11 12:21:58 +01:00 |
