-
- Downloads
Makefile.local: Modify test targets
- test target now uses the swh-web-fast hypothesis profile - remove the test-fast target - add test-full target using the swh-web hypothesis profile (which generates a lot of examples and thus takes much more longer to execute)
Loading
Please register or sign in to comment