specEditor getting "stuck". (I couldn't save, compile, etc. Had to ctrl-c.)
the "# Specification" part of the .spec file being erased/emptied
Traceback (most recent call last):
File "specEditor.py", line 1029, in onMenuCompile
self.proj.writeSpecFile()
File "/Users/smaniato/Cornell/My Research/LTLMoP/src/lib/project.py", line 186, in writeSpecFile
fileMethods.writeToFile(filename, data, comments)
File "/Users/smaniato/Cornell/My Research/LTLMoP/src/lib/fileMethods.py", line 156, in writeToFile
values = [str(values)]
UnicodeEncodeError: 'ascii' codec can't encode character u'\xdf' in position 628: ordinal not in range(128)
The following error resulted in:
Traceback (most recent call last): File "specEditor.py", line 1029, in onMenuCompile self.proj.writeSpecFile() File "/Users/smaniato/Cornell/My Research/LTLMoP/src/lib/project.py", line 186, in writeSpecFile fileMethods.writeToFile(filename, data, comments) File "/Users/smaniato/Cornell/My Research/LTLMoP/src/lib/fileMethods.py", line 156, in writeToFile values = [str(values)] UnicodeEncodeError: 'ascii' codec can't encode character u'\xdf' in position 628: ordinal not in range(128)