Re: Some observations (results) on BPF acquire and release

From: Andrea Parri
Date: Thu Nov 14 2024 - 09:56:36 EST


> I have applied your patches and modified them to add the new tests to
> kinds.txt and shelf.py
> now these tests will run with all other tests using 'make cata-bpf-test'
>
> All 175 tests, including new tests added by you, pass :D
>
> make cata-bpf-test
>
> _build/default/internal/herd_catalogue_regression_test.exe \
> -j 32 \
> -herd-timeout 16.0 \
> -herd-path _build/install/default/bin/herd7 \
> -libdir-path ./herd/libdir \
> -kinds-path catalogue/bpf/tests/kinds.txt \
> -shelf-path catalogue/bpf/shelf.py \
> test
> herd7 catalogue bpf tests: OK
>
>
> I have pushed it and sent a PR so we can get all this merged to master.
> https://github.com/herd/herdtools7/pull/1050

Cool! Thank you for the follow-up.

Andrea