Actions
Bug #4791
closed[template] Exception if Z3 is not installed
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'
Updated by Andrei Tatarnikov over 10 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Исправлено в r1877. Исключение перехватывается, выводится предупреждение (см. ниже) и, соотвественно, инициализирующий код для ситуации не добавляется.
"Warning! Failed to generate test data for the %s situation.\nReason: %s.\n"
Updated by Alexander Kamkin over 10 years ago
- Status changed from Resolved to Closed
- Published in build set to 140417
Actions