search

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers
MIT License
12 stars 5 forks source link

Isabelle judge crashes if files use unicode symbols #17

Closed maxhaslbeck closed 5 years ago

maxhaslbeck commented 5 years ago

isabelle poller crashes if one of the files defs, submission or private_check contains unicode symbols:

Traceback (most recent call last):                                                                                         
  File "poller_isa.py", line 224, in <module>                                                                              
    poller.watch()                                                                                                                     
  File "/home/haslbema/repos/git/proving-contest-backends/watchdog.py", line 36, in watch                                              
    self.watched()                                                                                                                     
  File "poller_isa.py", line 221, in poll                                                                                              
    Poller_Isa().run()                                                                                                                             
  File "/home/haslbema/repos/git/proving-contest-backends/poller.py", line 129, in run                                                             
    data["timeout_all"], data["allow_sorry"], data["checkfile"] if "checkfile" in data else None)                                                  
  File "poller_isa.py", line 135, in grade_submission                                                                                                  
    text_file.write(content)