Re: [CZT-Devel] CZT Tool Install and execute from c++

[Petra D. <Pet...@ec...>]

Hi Leo,

That's better; I can now see the error messages.
See below what maven prints and attached the detailed report for
ProofScriptParsingTest.

Cheers,
Petra

Running net.sourceforge.czt.parser.zeves.ProofScriptParsingTest
Number of tests for Z/Eves proofs parsing: 121

Encountered exception during reparsing
net.sourceforge.czt.session.CommandException

Unexpected exception
	File     :
file:/home/petra/czt/parser-zeves/target/test-classes/tests/zeves/instantiateTest.tex.zml
	Exception: net.sourceforge.czt.session.CommandException: Key
(instantiateTest.tex,interface net.sourceforge.czt.z.ast.Spec) not
computed by net.sourceforge.czt.parser.zeves.ParseUtils@2bccb2
	Cause    : null
Encountered exception during reparsing
net.sourceforge.czt.session.CommandException

... and lots of similar ones.