[isabelle-dev] Grouping ISABELLE_FULL_TEST?

Lars Hupel hupel at in.tum.de
Sun Jan 31 23:16:19 CET 2016


> /usr/lib probably means that this is a "package" on the target system, and
> thus it is usually broken by default.

That's correct. However, the code generator tests work well using that
package (theory "Code_Test_SMLNJ").

Cheers
Lars



More information about the isabelle-dev mailing list