abs-bench provides a set of ABS sources to use for unified benchmarks in different target languages. jabsc must comply and be able to run the same benchmarks.