Joost VandeVondeleandStéphane Nicolet 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