aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/lists.c
Commit message (Expand)AuthorAgeFilesLines
* k1c -> kvx changesDavid Monniaux2020-05-261-1/+1
* Restored previous input sizes for other backendsCyril SIX2019-09-251-0/+5
* Reducing further the input size of the testsCyril SIX2019-09-131-2/+2
* Starting to modify official CompCert tests to be passable with the simuCyril SIX2019-09-101-1/+4
* Reduce the running times of the tests in test/cXavier Leroy2017-08-261-1/+1
* Updates to the local test suiteXavier Leroy2016-07-241-1/+1
* Rendu le test lists.c plus interessantxleroy2007-08-061-4/+30
* Ajout du test listsxleroy2006-09-111-0/+55