Revision ddd1835c584d2797ff76c12a549d2f5f8d1d0135 authored by Antoine R. Dumont (@ardumont) on 01 April 2019, 14:27:23 UTC, committed by Antoine R. Dumont (@ardumont) on 03 April 2019, 12:57:30 UTC
1 parent 007f3de
Raw File
Makefile.local
TESTFLAGS=--hypothesis-profile=fast
back to top