autocorres build failure.please help me! about l4v

[lsf37]

This failure in Lib sounds vaguely familiar. It has the flavour of an Isabelle version/l4v version mismatch. It could be picking up a Lib session from somewhere else in the file system or it could be picking up the wrong Isabelle version.

In the directory l4v/isabelle, what does git status give you as output?

When you run ./isabelle/bin/isabelle build -d . -l -n Lib in directory l4v, does the list of files refer only to source files in the current l4v directory tree or are there others?

ps: for invoking the build, you shouldn't need to run the python script directly, ./run_tests -v AutoCorres in l4v should work.