Joost VandeVondele d2acdac101 Small improvements to the CI infrastructure ... - avoid inlining for the debug testing so that suppressions work - provide more output for triggered errors No functional change.		2019-01-09 16:57:24 +01:00
..
instrumented.sh	Small improvements to the CI infrastructure	2019-01-09 16:57:24 +01:00
perft.sh	Assorted trivial cleanups (#1894)	2019-01-01 14:10:26 +01:00
reprosearch.sh	New shell scripts for testing, used for travis CI (#957)	2017-01-09 10:30:57 +01:00
signature.sh	Fix condition for error message of signature script	2018-07-27 10:16:33 +02:00