RUNNING APROVE
filename: /Users/mhaslbeck/Projects/TPDB/C_Integer/Stroeder_15/svcomp_a.10.c.pass1.llvm
Aborted 1600679919Exec. 2, LLVMToSEGraph with some error. Reason: java.lang.UnsupportedOperationException: No viable cases left. Operation: xor.
            aprove.Framework.BasicStructures.Arithmetic.Integer.BinaryIntegerFunctionExpression.toSMTExp(BinaryIntegerFunctionExpression.java:46)
            aprove.Framework.BasicStructures.Arithmetic.Integer.IntegerRelation.toSMTExp(IntegerRelation.java:143)
            aprove.Framework.BasicStructures.Arithmetic.Integer.IntegerRelationSet.toSMTExp(IntegerRelationSet.java:437)
            aprove.InputModules.Programs.llvm.internalStructures.LLVMDefaultIntegerState.createFormula(LLVMDefaultIntegerState.java:70)
            aprove.InputModules.Programs.llvm.internalStructures.LLVMDefaultIntegerState.<init>(LLVMDefaultIntegerState.java:180)
            aprove.InputModules.Programs.llvm.internalStructures.LLVMDefaultIntegerState.updateFormula(LLVMDefaultIntegerState.java:415)
            aprove.InputModules.Programs.llvm.states.LLVMAbstractState.postProcess(LLVMAbstractState.java:2062)
            aprove.InputModules.Programs.llvm.states.LLVMAbstractState.postProcessAfterEvaluation(LLVMAbstractState.java:1448)
            aprove.InputModules.Programs.llvm.states.LLVMAbstractState.evaluate(LLVMAbstractState.java:543)
            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.UnsupportedOperationException: No viable cases left. Operation: xor
	at aprove.Framework.BasicStructures.Arithmetic.Integer.BinaryIntegerFunctionExpression.toSMTExp(BinaryIntegerFunctionExpression.java:46)
	at aprove.Framework.BasicStructures.Arithmetic.Integer.IntegerRelation.toSMTExp(IntegerRelation.java:143)
	at aprove.Framework.BasicStructures.Arithmetic.Integer.IntegerRelationSet.toSMTExp(IntegerRelationSet.java:437)
	at aprove.InputModules.Programs.llvm.internalStructures.LLVMDefaultIntegerState.createFormula(LLVMDefaultIntegerState.java:70)
	at aprove.InputModules.Programs.llvm.internalStructures.LLVMDefaultIntegerState.<init>(LLVMDefaultIntegerState.java:180)
	at aprove.InputModules.Programs.llvm.internalStructures.LLVMDefaultIntegerState.updateFormula(LLVMDefaultIntegerState.java:415)
	at aprove.InputModules.Programs.llvm.states.LLVMAbstractState.postProcess(LLVMAbstractState.java:2062)
	at aprove.InputModules.Programs.llvm.states.LLVMAbstractState.postProcessAfterEvaluation(LLVMAbstractState.java:1448)
	at aprove.InputModules.Programs.llvm.states.LLVMAbstractState.evaluate(LLVMAbstractState.java:543)
	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.829s
user	0m1.301s
sys	0m0.146s