Snaipe e59adbff47 Updated json reporter for the new reporting system		2015-11-11 13:19:03 +01:00
..
wrappers	[Issue #64] Prefixed all unprefixed API functions and types	2015-10-02 15:10:41 +02:00
abort.c	[Issue #64] Prefixed all unprefixed API functions and types	2015-10-02 15:10:41 +02:00
abort.h	Added criterion_test_die to abort tests with a message on unhandled exceptions	2015-10-01 23:15:02 +02:00
coroutine.h	Refactored runner coroutine into its own file	2015-09-24 16:08:58 +02:00
ordered-set.c	[Issue #64] Prefixed all unprefixed macros with CR_	2015-10-02 15:02:50 +02:00
report.c	[Issue #64] Prefixed all unprefixed macros with CR_	2015-10-02 15:02:50 +02:00
report.h	Refactored output_provider -> logger, and moved actual output providers to io/	2015-11-11 11:04:28 +01:00
runner.c	Updated json reporter for the new reporting system	2015-11-11 13:19:03 +01:00
runner.h	[Issue #64] Prefixed all unprefixed macros with CR_	2015-10-02 15:02:50 +02:00
runner_coroutine.c	Refactored runner coroutine into its own file	2015-09-24 16:08:58 +02:00
runner_coroutine.h	Refactored runner coroutine into its own file	2015-09-24 16:08:58 +02:00
stats.c	Fixed missing destructor, causing a memory leak	2015-11-11 00:31:47 +01:00
stats.h	Refactored most of the sources	2015-09-16 21:18:58 +02:00
theories.c	[Issue #64] Prefixed all unprefixed API functions and types	2015-10-02 15:10:41 +02:00
worker.c	[Issue #64] Prefixed all unprefixed API functions and types	2015-10-02 15:10:41 +02:00
worker.h	[Issue #64] Prefixed all unprefixed API functions and types	2015-10-02 15:10:41 +02:00