Exception in thread "main" java.lang.RuntimeException: cycle in model: [symStr1]エラーの見方と対処法について。 js-symbolic-executorという既成品を扱っています。 上記エラーの意味としては、main関数スレッドにおいて例外エラjava.lang.runtimeExeptionが発生しました。 java.lang.RuntimeExeptionエラーは実行時に発生したエラーで cycle in modelと[symStr]の部分は一般に何を表しているのでしょうか？ また、この場合の対処方針についてアドバイスよろしくお願いします。 このエラーの直前として Exception in thread "main" java.lang.UnsatisfiedLinkError: no cvc3jni in java.library.path Exception in thread "main" java.lang.UnsatisfiedLinkError: /home/maru/Dropbox/js-symbolic-executor_orig/cvc3/java/lib/x86_64-linux-gnu/libcvc3jni.so.3.0.0: libcvc3.so.3: 共有オブジェクトファイルを開けません: そのようなファイルやディレクトリはありません とありましたので、READMEよりLD_LIBRARY_PATHへ上記ファイルを読み込むように環境変数を設定しています。 =================== maru@marU:~/Dropbox/js-symbolic-executor_orig/js-symbolic-executor$ java -jar lib/js-symbolic-executor.jar test/data/sample.js f 5 0 5 11 20, 2014 10:42:43 午前 com.google.javascript.jscomp.PhaseOptimizer$NamedPass process 情報: checkVars ~~省略~~ 情報: denormalize 11 20, 2014 10:42:43 午前 com.google.javascript.jscomp.PhaseOptimizer$NamedPass process 情報: invertNames Exception in thread "main" java.lang.RuntimeException: cycle in model: [symStr1] at symbolicexecutor.Cvc3Context.exprToJsString(Unknown Source) at symbolicexecutor.Cvc3Context.exprToJsValue(Unknown Source) at symbolicexecutor.Cvc3Context.query(Unknown Source) at symbolicexecutor.ApiBasedInputGenerator.generateNewInputs(Unknown Source) at symbolicexecutor.SymbolicExecutor.run(Unknown Source) at symbolicexecutor.SymbolicExecutor.main(Unknown Source)
↧