./jayhorn -j tmp -------------------------------------------------------------------------------- [root] - --- JAYHORN : Static Analayzer for Java Programs ---- [root] - Verification : safety [root] - Solver : eldarica [root] - Building CFG ... [root] - Safety Verification ... [root] - Hornify ... [root] - Transform Program Methods into Horn Clauses ... [root] - Running from entry point: