9 Commits
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 210e05f7fc Update copyright to 2018 2018-01-29 20:28:30 +01:00
Patrick Pelissier a07d71274a Fix issue with massive parallele check 2017-10-25 21:46:54 +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 22e9e52b13 Add more tests. 2017-04-23 10:10:57 +02:00
Patrick Pelissier f653676511 Add SWAP for tuple 2017-03-14 21:44:21 +01:00
Patrick Pelissier 41aa717782 Proper use of exit to terminate a test. 2017-03-12 18:56:03 +01:00
Patrick Pelissier 2af4cb2fc2 WIP: computing coverage of the tests. 2017-03-02 22:35:22 +01:00
Patrick Pelissier 8e9d20ba1a Add initial stuff 2017-02-18 18:51:04 +01:00