Project

General

Profile

Actions

Bug #4791

closed

[template] Exception if Z3 is not installed

Added by Alexander Kamkin over 10 years ago. Updated over 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
Start date:
03/25/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
140417

Description

ru.ispras.microtesk.model.api.exception.config.ConstraintSolverException: Unable to solve the overflow test situation. Constraint solver failure. Reason: I/O exception in the process of a solving the constraint. Details: Cannot run program "../tools/z3/windows/z3.exe": CreateProcess error=2, ?? ??????? ????? ????????? ????
    at ru.ispras.microtesk.model.api.situation.ConstraintBasedSituation.checkSolverResult(Unknown Source)
    at ru.ispras.microtesk.model.api.situation.ConstraintBasedSituation.solve(Unknown Source)
    at ru.ispras.microtesk.test.data.DataGenerator.processAbstractCall(Unknown Source)
    at ru.ispras.microtesk.test.data.DataGenerator.generate(Unknown Source)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
    at java.lang.reflect.Method.invoke(Unknown Source)
    at org.jruby.javasupport.JavaMethod.invokeDirectWithExceptionHandling(JavaMethod.java:455)
    at org.jruby.javasupport.JavaMethod.invokeDirect(JavaMethod.java:316)
    at org.jruby.java.invokers.InstanceMethodInvoker.call(InstanceMethodInvoker.java:61)
    at org.jruby.runtime.callsite.CachingCallSite.cacheAndCall(CachingCallSite.java:326)
    at org.jruby.runtime.callsite.CachingCallSite.call(CachingCallSite.java:170)
    at org.jruby.ast.CallOneArgNode.interpret(CallOneArgNode.java:57)
    at org.jruby.ast.LocalAsgnNode.interpret(LocalAsgnNode.java:123)
    at org.jruby.ast.NewlineNode.interpret(NewlineNode.java:105)
    at org.jruby.ast.IfNode.interpret(IfNode.java:116)
    at org.jruby.ast.NewlineNode.interpret(NewlineNode.java:105)
    at org.jruby.ast.BlockNode.interpret(BlockNode.java:71)
    at org.jruby.evaluator.ASTInterpreter.INTERPRET_METHOD(ASTInterpreter.java:75)
    at org.jruby.internal.runtime.methods.InterpretedMethod.call(InterpretedMethod.java:112)
    at org.jruby.internal.runtime.methods.InterpretedMethod.call(InterpretedMethod.java:126)
    at org.jruby.internal.runtime.methods.DefaultMethod.call(DefaultMethod.java:163)
    at org.jruby.runtime.callsite.CachingCallSite.cacheAndCall(CachingCallSite.java:296)
    at org.jruby.runtime.callsite.CachingCallSite.call(CachingCallSite.java:72)
    at org.jruby.ast.FCallManyArgsNode.interpret(FCallManyArgsNode.java:60)
    at org.jruby.ast.MultipleAsgn19Node.interpret(MultipleAsgn19Node.java:104)
    at org.jruby.ast.NewlineNode.interpret(NewlineNode.java:105)
    at org.jruby.ast.BlockNode.interpret(BlockNode.java:71)
    at org.jruby.ast.WhileNode.interpret(WhileNode.java:131)
    at org.jruby.ast.NewlineNode.interpret(NewlineNode.java:105)
    at org.jruby.ast.BlockNode.interpret(BlockNode.java:71)
    at org.jruby.evaluator.ASTInterpreter.INTERPRET_METHOD(ASTInterpreter.java:75)
    at org.jruby.internal.runtime.methods.InterpretedMethod.call(InterpretedMethod.java:139)
    at org.jruby.internal.runtime.methods.DefaultMethod.call(DefaultMethod.java:172)
    at org.jruby.runtime.callsite.CachingCallSite.cacheAndCall(CachingCallSite.java:306)
    at org.jruby.runtime.callsite.CachingCallSite.call(CachingCallSite.java:136)
    at C_3a_.TOOLS.MicroTESK.lib.ruby.template_processor.chained_4_rescue_1$RUBY$SYNTHETICmain(C:\TOOLS\MicroTESK/lib/ruby/template_processor.rb:51)
    at C_3a_.TOOLS.MicroTESK.lib.ruby.template_processor.block_0$RUBY$main(C:\TOOLS\MicroTESK/lib/ruby/template_processor.rb:43)
    at C_3a_$TOOLS$MicroTESK$lib$ruby$template_processor$block_0$RUBY$main.call(C_3a_$TOOLS$MicroTESK$lib$ruby$template_processor$block_0$RUBY$main)
    at org.jruby.runtime.CompiledBlock19.yield(CompiledBlock19.java:139)
    at org.jruby.runtime.Block.yield(Block.java:130)
    at org.jruby.RubyArray.eachCommon(RubyArray.java:1606)
    at org.jruby.RubyArray.each(RubyArray.java:1613)
    at org.jruby.RubyArray$INVOKER$i$0$0$each.call(RubyArray$INVOKER$i$0$0$each.gen)
    at org.jruby.runtime.callsite.CachingCallSite.cacheAndCall(CachingCallSite.java:316)
    at org.jruby.runtime.callsite.CachingCallSite.callBlock(CachingCallSite.java:145)
    at org.jruby.runtime.callsite.CachingCallSite.callIter(CachingCallSite.java:154)
    at C_3a_.TOOLS.MicroTESK.lib.ruby.template_processor.method__3$RUBY$main(C:\TOOLS\MicroTESK/lib/ruby/template_processor.rb:42)
    at C_3a_$TOOLS$MicroTESK$lib$ruby$template_processor$method__3$RUBY$main.call(C_3a_$TOOLS$MicroTESK$lib$ruby$template_processor$method__3$RUBY$main)
    at C_3a_$TOOLS$MicroTESK$lib$ruby$template_processor$method__3$RUBY$main.call(C_3a_$TOOLS$MicroTESK$lib$ruby$template_processor$method__3$RUBY$main)
    at org.jruby.runtime.callsite.CachingCallSite.cacheAndCall(CachingCallSite.java:306)
    at org.jruby.runtime.callsite.CachingCallSite.call(CachingCallSite.java:136)
    at C_3a_.TOOLS.MicroTESK.lib.ruby.template_processor.__file__(C:\TOOLS\MicroTESK/lib/ruby/template_processor.rb:123)
    at C_3a_.TOOLS.MicroTESK.lib.ruby.template_processor.load(C:\TOOLS\MicroTESK/lib/ruby/template_processor.rb)
    at org.jruby.Ruby.runScript(Ruby.java:815)
    at org.jruby.Ruby.runScript(Ruby.java:808)
    at org.jruby.Ruby.runNormally(Ruby.java:679)
    at org.jruby.Ruby.runFromMain(Ruby.java:528)
    at org.jruby.Main.doRunFromMain(Main.java:390)
    at org.jruby.Main.internalRun(Main.java:279)
    at org.jruby.Main.run(Main.java:221)
    at org.jruby.Main.main(Main.java:201)
null:-1:in `checkSolverResult': ru.ispras.microtesk.model.api.exception.config.ConstraintSolverException: Unable to solve the overflow test situation. Constraint solver failure. Reason: I/O exception in the process of a solving the constraint. Details: Cannot run program "../tools/z3/windows/z3.exe": CreateProcess error=2, ?? ??????? ????? ????????? ????
    from null:-1:in `solve'
    from null:-1:in `processAbstractCall'
    from null:-1:in `generate'
    from null:-2:in `invoke0'
    from null:-1:in `invoke'
    from null:-1:in `invoke'
    from null:-1:in `invoke'
    from JavaMethod.java:455:in `invokeDirectWithExceptionHandling'
    from JavaMethod.java:316:in `invokeDirect'
    from InstanceMethodInvoker.java:61:in `call'
    from CachingCallSite.java:326:in `cacheAndCall'
    from CachingCallSite.java:170:in `call'
    from CallOneArgNode.java:57:in `interpret'
    from LocalAsgnNode.java:123:in `interpret'
    from NewlineNode.java:105:in `interpret'
    from IfNode.java:116:in `interpret'
    from NewlineNode.java:105:in `interpret'
    from BlockNode.java:71:in `interpret'
    from ASTInterpreter.java:75:in `INTERPRET_METHOD'
    from InterpretedMethod.java:112:in `call'
    from InterpretedMethod.java:126:in `call'
    from DefaultMethod.java:163:in `call'
    from CachingCallSite.java:296:in `cacheAndCall'
    from CachingCallSite.java:72:in `call'
    from FCallManyArgsNode.java:60:in `interpret'
    from MultipleAsgn19Node.java:104:in `interpret'
    from NewlineNode.java:105:in `interpret'
    from BlockNode.java:71:in `interpret'
    from WhileNode.java:131:in `interpret'
    from NewlineNode.java:105:in `interpret'
    from BlockNode.java:71:in `interpret'
    from ASTInterpreter.java:75:in `INTERPRET_METHOD'
    from InterpretedMethod.java:139:in `call'
    from DefaultMethod.java:172:in `call'
    from CachingCallSite.java:306:in `cacheAndCall'
    from CachingCallSite.java:136:in `call'
    from C:\TOOLS\MicroTESK/lib/ruby/template_processor.rb:51:in `chained_4_rescue_1$RUBY$SYNTHETICmain'
    from C:\TOOLS\MicroTESK/lib/ruby/template_processor.rb:43:in `block_0$RUBY$main'
    from C_3a_$TOOLS$MicroTESK$lib$ruby$template_processor$block_0$RUBY$main:-1:in `call'
    from CompiledBlock19.java:139:in `yield'
    from Block.java:130:in `yield'
    from RubyArray.java:1606:in `eachCommon'
    from RubyArray.java:1613:in `each'
    from RubyArray$INVOKER$i$0$0$each.gen:-1:in `call'
    from CachingCallSite.java:316:in `cacheAndCall'
    from CachingCallSite.java:145:in `callBlock'
    from CachingCallSite.java:154:in `callIter'
    from C:\TOOLS\MicroTESK/lib/ruby/template_processor.rb:42:in `method__3$RUBY$main'
    from C_3a_$TOOLS$MicroTESK$lib$ruby$template_processor$method__3$RUBY$main:-1:in `call'
    from C_3a_$TOOLS$MicroTESK$lib$ruby$template_processor$method__3$RUBY$main:-1:in `call'
    from CachingCallSite.java:306:in `cacheAndCall'
    from CachingCallSite.java:136:in `call'
    from C:\TOOLS\MicroTESK/lib/ruby/template_processor.rb:123:in `__file__'
    from C:\TOOLS\MicroTESK/lib/ruby/template_processor.rb:-1:in `load'
    from Ruby.java:815:in `runScript'
    from Ruby.java:808:in `runScript'
    from Ruby.java:679:in `runNormally'
    from Ruby.java:528:in `runFromMain'
    from Main.java:390:in `doRunFromMain'
    from Main.java:279:in `internalRun'
    from Main.java:221:in `run'
    from Main.java:201:in `main'
Actions

Also available in: Atom PDF