muRelBench: A Microbenchmarking Framework for Evaluating Operations on Zonotope Abstract Domains
muRelBench is a framework for generating synthetic benchmarks to evaluate the performance of operations on Zonotope abstract domains, enabling comprehensive assessment of new algorithms and implementations.