RUNNING APROVE
filename: NO_01.c.pass1.llvm
Aborted 1599078173Exec. 2, LLVMToSEGraph with some error. Reason: java.lang.IllegalArgumentException: Tried to add contradictive relation!.
            aprove.InputModules.Programs.llvm.internalStructures.LLVMDefaultIntegerState.addRelation(LLVMDefaultIntegerState.java:240)
            aprove.InputModules.Programs.llvm.internalStructures.LLVMDefaultIntegerState.addRelation(LLVMDefaultIntegerState.java:1)
            aprove.InputModules.Programs.llvm.states.LLVMAbstractState.addRelation(LLVMAbstractState.java:282)
            aprove.InputModules.Programs.llvm.internalStructures.instructions.LLVMICmpInstruction.evaluate(LLVMICmpInstruction.java:480)
            aprove.InputModules.Programs.llvm.states.LLVMAbstractState.evaluate(LLVMAbstractState.java:540)
            aprove.InputModules.Programs.llvm.segraph.graphConstructionSteps.LLVMStandardStep.perform(LLVMStandardStep.java:98)
            aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.executeStepAndPutSucessorStepsInQueue(LLVMSEGraph.java:1089)
            aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.buildFullGraph(LLVMSEGraph.java:243)
            aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.buildFullGraph(LLVMSEGraph.java:216)
            aprove.InputModules.Programs.llvm.segraph.LLVMGraphBuilder.buildGraph(LLVMGraphBuilder.java:84)
            aprove.InputModules.Programs.llvm.processors.LLVMToSEGraphProcessor.process(LLVMToSEGraphProcessor.java:112)
            aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
            aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
            aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
            aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
            java.lang.Thread.run(Thread.java:748)
java.lang.IllegalArgumentException: Tried to add contradictive relation!
	at aprove.InputModules.Programs.llvm.internalStructures.LLVMDefaultIntegerState.addRelation(LLVMDefaultIntegerState.java:240)
	at aprove.InputModules.Programs.llvm.internalStructures.LLVMDefaultIntegerState.addRelation(LLVMDefaultIntegerState.java:1)
	at aprove.InputModules.Programs.llvm.states.LLVMAbstractState.addRelation(LLVMAbstractState.java:282)
	at aprove.InputModules.Programs.llvm.internalStructures.instructions.LLVMICmpInstruction.evaluate(LLVMICmpInstruction.java:480)
	at aprove.InputModules.Programs.llvm.states.LLVMAbstractState.evaluate(LLVMAbstractState.java:540)
	at aprove.InputModules.Programs.llvm.segraph.graphConstructionSteps.LLVMStandardStep.perform(LLVMStandardStep.java:98)
	at aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.executeStepAndPutSucessorStepsInQueue(LLVMSEGraph.java:1089)
	at aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.buildFullGraph(LLVMSEGraph.java:243)
	at aprove.InputModules.Programs.llvm.segraph.LLVMSEGraph.buildFullGraph(LLVMSEGraph.java:216)
	at aprove.InputModules.Programs.llvm.segraph.LLVMGraphBuilder.buildGraph(LLVMGraphBuilder.java:84)
	at aprove.InputModules.Programs.llvm.processors.LLVMToSEGraphProcessor.process(LLVMToSEGraphProcessor.java:112)
	at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
	at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
	at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
	at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.lang.Thread.run(Thread.java:748)

real	0m0.762s
user	0m1.243s
sys	0m0.141s