2
내가 xSAP (버전 1.2.0)는 SMV 모델에 전달하려고했지만, 내가 모델은 NuSMV (버전 2.6.0와 잘 작동이 오류
[email protected]:~/Desktop$ python /home/panda/Desktop/xSAP/scripts/extend_model.py -v /home/panda/Desktop/brca.smv /home/panda/Desktop/brca.fei
Traceback (most recent call last):
File "/home/panda/Desktop/xSAP/scripts/extend_model.py", line 211, in <module> if not args.xml_fei
File "/home/panda/Desktop/xSAP/scripts/extend_model.py", line 41, in translate_fei_to_xml fei_txt_fname, out_fei_xml, path)
File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/feic/translate/fei_translator.py", line 46, in convert_fei_text_to_xml_format
File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/feic/translate/fei_translator.py", line 793, in get_library_manager
File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/feic/fe/lib_mgr/libraries/manager.py", line 80, in __init__
File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/feic/fe/lib_mgr/libraries/manager.py", line 120, in __loadEml
File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/feic/fe/lib_mgr/utils/utils.py", line 30, in LoadXML
File "src/lxml/lxml.objectify.pyx", line 1838, in lxml.objectify.parse (src/lxml/lxml.objectify.c:25528)
File "src/lxml/lxml.etree.pyx", line 3427, in lxml.etree.parse (src/lxml/lxml.etree.c:79841)
File "src/lxml/parser.pxi", line 1793, n lxml.etree._parseDocument (src/lxml/lxml.etree.c:116175)
File "src/lxml/parser.pxi", line 1819, in xml.etree._parseDocumentFromURL (src/lxml/lxml.etree.c:116525)
File "src/lxml/parser.pxi", line 1723, in lxml.etree._parseDocFromFile (src/lxml/lxml.etree.c:115413)
File "src/lxml/parser.pxi", line 1126, in xml.etree._BaseParser._parseDocFromFile (src/lxml/lxml.etree.c:110110)
File "src/lxml/parser.pxi", line 584, in lxml.etree._ParserContext._handleParseResultDoc (src/lxml/lxml.etree.c:103584)
File "src/lxml/parser.pxi", line 694, in lxml.etree._handleParseResult (src/lxml/lxml.etree.c:105238)
File "src/lxml/parser.pxi", line 624, in lxml.etree._raiseParseError (src/lxml/lxml.etree.c:104147)
lxml.etree.XMLSyntaxError: Element 'effects_model', attribute 'name': '' is not a valid value of the atomic type 'xs:NCName'.
있어
). XML 파일에 xSAP을 전달해야하는지 이해할 수 없습니다 (그렇다면 XML 파일에서 smv를 어떻게 변환합니까?) 또는 다른 오류가있는 경우 이해하십시오.
도움 주셔서 대단히 감사합니다.