HomeSoftware Heritage

Makefile.local: Modify test targets

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

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)

Details

Provenance
anlambertAuthored on May 6 2019, 4:26 PM
anlambertPushed on May 6 2019, 4:27 PM
Build Status
Buildable 5600
Build 7630: test-and-build

Commit No Longer Exists

This commit no longer exists in the repository.