hapoy9

> `NettyClient getChannel error`一般是与server端建立连接失败，可以确认一下网络有没有什么问题，或者serve端负载有没有什么问题。 网络是没有问题的，机器是在同一个局域网内的，主要是偶发，一天出现个三四上次这种报错

> 也可以看看error日志里有没有其他的异常，比如关键字“rebuild error”之类与建立连接相关的异常 这个也查询了一下，的确存在rebuild error的错误，但不是同一个rpc方法抛出来的，error msg 是 NettyChannel failed to connect to server，不是同一个异常

> I've encountered the same issue: > > ``` > java.lang.StackOverflowError: null > at org.nustaq.serialization.util.DefaultFSTInt2ObjectMap.size(DefaultFSTInt2ObjectMap.java:39) ~[fst-2.57.jar!/:na] > at org.nustaq.serialization.util.DefaultFSTInt2ObjectMap.size(DefaultFSTInt2ObjectMap.java:39) ~[fst-2.57.jar!/:na] > at org.nustaq.serialization.util.DefaultFSTInt2ObjectMap.size(DefaultFSTInt2ObjectMap.java:39) ~[fst-2.57.jar!/:na] > at org.nustaq.serialization.util.DefaultFSTInt2ObjectMap.size(DefaultFSTInt2ObjectMap.java:39) ~[fst-2.57.jar!/:na] > at...

@MengGuo 非常感谢您的帮助，根据您的建议使用networkx 1.9，现在`edge`的报错已经没有了，但是我将ltl2ba等换成了Windows版本后，调试又遇到一个新的问题，在promela.py中的代码抛出了异常，异常位置为： `if self.accept(Parser.title_regex) == None: raise Exception("Expected 'DRA title' but got %s" % self.instring[self.pos])` 程序输出和错误提示为： `-------Motion MDP Initialized------- -------Motion MDP Constructed------- 4 states and 12 edges Unify MDP...

@MengGuo 我已经将`ltl2dstar`替换为[http://www.ltl2dstar.de/](http://www.ltl2dstar.de/)提供的Windows版本，运行才出现的那个问题，如果没有替换windows版本直接报subprocess.CalledProcessError错误，而不是抛出异常，难道是我版本问题吗？我用终端执行ltl2dstra语句是有结果返回的，附图是执行的结果，麻烦您看一下有问题吗？如果一直没有解决我会接受您的建议在ubuntu下面运行该程序。