Hugo Moreau authored Apr 11, 2021 and Etienne Renault committed Apr 20, 2021

To preserve a nice workflow and tracking more efficiently when Makefile
can possibly fail. The current workflow is LTL files, Reach files, LTL
files blackboxed, Reach files blackboxed.