./jayhorn -j tmp


--------------------------------------------------------------------------------


[root] - 		 ---   JAYHORN : Static Analayzer for Java Programs ---- 
[root] - 	 Verification : safety
[root] - 	 Solver : eldarica
[root] - Building CFG  ... 
2018-07-29 03:24:31,188 ERROR (main) [root] - Body of method <Main: void main(java.lang.String[])> does not contain a return statement
Exception in thread "main" Body of method <Main: void main(java.lang.String[])> does not contain a return statement
	at soot.jimple.validation.ReturnStatementsValidator.validate(ReturnStatementsValidator.java:56)
	at soot.jimple.JimpleBody.validate(JimpleBody.java:125)
	at soot.jimple.JimpleBody.validate(JimpleBody.java:110)
	at soottocfg.soot.transformers.AssertionReconstruction.reconstructJavaAssertions(AssertionReconstruction.java:290)
	at soottocfg.soot.transformers.AssertionReconstruction.transform(AssertionReconstruction.java:56)
	at soottocfg.soot.transformers.AssertionReconstruction.applyTransformation(AssertionReconstruction.java:48)
	at soottocfg.soot.SootToCfg.performBehaviorPreservingTransformations(SootToCfg.java:371)
	at soottocfg.soot.SootToCfg.run(SootToCfg.java:118)
	at jayhorn.Main.safetyAnalysis(Main.java:52)
	at jayhorn.Main.main(Main.java:100)