[isabelle-dev] Grouping ISABELLE_FULL_TEST?
hupel at in.tum.de
Sun Jan 31 14:05:50 CET 2016
As of 527488dc8b90, there are five sessions which contain theories that
are only processed under ISABELLE_FULL_TEST=true:
Most of these appear to be benchmarks of some sort. Currently, the new
CI setup doesn't set the ISABELLE_FULL_TEST flag. I think it would be
useful to run those, but I'd like to split them up into a separate run
so that they can be executed in parallel to the regular makeall. To that
end, I would suggest grouping these sessions in 'full'. I could then run
isabelle build -v -g full
(In a similar fashion, I run 'slow' sessions separately from the others.)
If nobody complains, I'll add the group.
More information about the isabelle-dev