Minor adjustments for feature perf precision experiments#883

Merged

boehmseb merged 6 commits intovara-devfrom f-FeaturePerfPrecision-Fixes

Apr 22, 2024

+24-9

Commits on Apr 19, 2024

* Fix threshold for PicoSAT
Lukas Abelt
committed
* Add switch to select correct Dune binary depending on patch configuration
Lukas Abelt
committed
* Add EBPF profiler to precision table
Lukas Abelt
committed

Commits on Apr 22, 2024

Merge branch 'refs/heads/vara-dev' into f-FeaturePerfPrecision-Fixes
Lukas Abelt
committed
* Pylint adjustments
Lukas Abelt
committed
* Pylint adjustments
Lukas Abelt
committed