Skip to main content

Browse the archive

Revision 880aa9cb62cd20ef4d142689813b28c6f61559b0 authored by Antoine R. Dumont (@ardumont) on 13 November 2018, 09:59:41 UTC, committed by Antoine R. Dumont (@ardumont) on 14 November 2018, 15:07:33 UTC 
tests: Use fast/slow profile names
1 parent 3f05ada
Raw File
Makefile.local 
TESTFLAGS=--hypothesis-profile=fast
back to top