31 Commits

Include renames

Author	SHA1	Message	Date
Patrick Pelissier	bc83fe43e5	Remove dependency on GMP, so that it is easier to run the bench suite.	2018-03-29 20:01:45 +02:00
Patrick Pelissier	0ab1a1661b	Add synthesis of the coverage.	2017-12-30 11:29:42 +01:00
Patrick Pelissier	a07d71274a	Fix issue with massive parallele check	2017-10-25 21:46:54 +02:00
Patrick Pelissier	d1dc69f482	Allow paralelisation of scan-build too.	2017-10-04 21:49:52 +02:00
Patrick Pelissier	ea78ccca05	Remove unused var	2017-10-04 21:45:28 +02:00
Patrick Pelissier	9202fb2fea	Parallelize santize command	2017-09-30 19:12:14 +02:00
Patrick Pelissier	3c9c52593a	Fix problem with sanitizer.	2017-09-27 23:19:50 +02:00
Patrick Pelissier	03f674ca61	Move generic rule into generic rule section.	2017-09-26 23:09:01 +02:00
Patrick Pelissier	4aee001b1d	Remove unused variables.	2017-09-26 23:07:12 +02:00
Patrick Pelissier	bb2ca89a75	Rewrite the Makefile of the test so that it is compatible with parallel invocation.	2017-09-26 23:05:28 +02:00
Patrick Pelissier	f539cd877f	Add comments for bitset	2017-08-14 19:05:35 +02:00
Patrick Pelissier	c3b66e053a	Add 'ftrapv' for running the test suite.	2017-08-05 19:26:24 +02:00
Patrick Pelissier	07c251e5ca	Add test suite for deque	2017-08-05 18:21:14 +02:00
Patrick Pelissier	37225eaf57	Fix issue with test-mdict generation: ... we shall not replace "{" by "{\n" as { is not part of the language.	2017-07-11 23:52:59 +02:00
Patrick Pelissier	672c2d509d	Update the way of working of the coverage so that it produces ... more useful information about the line coveraged, and avoid expanding low level macros.	2017-07-10 17:35:16 +02:00
Patrick Pelissier	82bed274ec	Fix issue with sanitizer	2017-07-10 16:03:47 +02:00
Patrick Pelissier	adf8528092	Improve coverage report precision	2017-05-03 00:51:40 +02:00
Patrick Pelissier	20eb11bf0f	Improve coverage result.	2017-05-02 20:18:25 +02:00
Patrick Pelissier	774182967c	Fix coverage computation.	2017-05-02 14:52:29 +02:00
Patrick Pelissier	2d9ee1b930	Fix scan-build	2017-04-24 23:22:58 +02:00
Patrick Pelissier	9df884080d	Improve Makefile for older version of GCC.	2017-04-19 22:38:31 +02:00
Patrick Pelissier	5f801b0312	Add santize static analyse	2017-04-13 23:04:47 +02:00
Patrick Pelissier	e901f54723	Reformat Makefile & add scan-build.	2017-04-13 22:44:28 +02:00
Patrick Pelissier	39e8c9e678	Add fast mempool module.	2017-03-31 21:14:45 +02:00
Patrick Pelissier	8b7dfc8246	Add new generation for shared_ptr	2017-03-16 00:14:36 +01:00
Patrick Pelissier	30e3018317	Add new test for mutex.	2017-03-12 18:58:25 +01:00
Patrick Pelissier	9db1775db0	Work on coverage	2017-03-09 21:58:08 +01:00
Patrick Pelissier	2af4cb2fc2	WIP: computing coverage of the tests.	2017-03-02 22:35:22 +01:00
Patrick Pelissier	30c08d16e3	Add first test on variant.	2017-02-26 00:01:53 +01:00
Patrick Pelissier	87b46fe284	Fix issue with tgen-marray	2017-02-18 18:55:08 +01:00
Patrick Pelissier	8e9d20ba1a	Add initial stuff	2017-02-18 18:51:04 +01:00