bench API: fix the use of for loop in Makefile, fail in case of bad result (!362) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

MARCHE Claude requested to merge fix-bench-api-again into master Mar 31, 2020

bench API: fix the use of for loop in Makefile, fail in case of bad result