aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/picosat-965/onefile/testcmp.sh
Commit message (Expand)AuthorAgeFilesLines
* silly bugDavid Monniaux2020-07-251-1/+1
* run some more valgrind in case of optimizationsDavid Monniaux2020-07-251-0/+9
* improved testcmp: detect maybe uninitializedDavid Monniaux2020-07-251-6/+20
* > vs teeDavid Monniaux2020-07-241-9/+9
* for reducingDavid Monniaux2020-07-241-0/+123