admin/d810
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Cleaning

Browse Source
This commit is contained in:
boris
2020-11-27 15:10:34 +01:00
parent 83b51c4620
commit ef56bc2cd0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
d810/log.py
View File

@@ -3,7 +3,7 @@ import shutil
import logging
import logging.config
LOG_CONFIG_FILENAME = "log.ini"""
LOG_CONFIG_FILENAME = "log.ini"
LOG_FILENAME = "d810.log"
Z3_TEST_FILENAME = "z3_check_instructions_substitution.py"