Merge branch 'master' into dev

This commit is contained in:
Maxim Slipenko 2021-09-21 00:05:45 +03:00 committed by GitHub
commit eec30e12fa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 4 additions and 3 deletions

View File

@ -15,7 +15,7 @@ python setup.py develop
## Usage ## Usage
```bat ```bat
turinglab <input_file> <input_string> <output_file> turinglab input_file output_dir [-t TESTS [TESTS ...]] [-e EMPTY_CHARACTER] [-f]
``` ```
### Example ### Example

View File

@ -11,7 +11,6 @@ setup(
'pydot', 'pydot',
'requests', 'requests',
'sortedcontainers' 'sortedcontainers'
],
entry_points={ entry_points={
'console_scripts': [ 'console_scripts': [
'turinglab = turinglab.__main__:main' 'turinglab = turinglab.__main__:main'

View File

@ -36,6 +36,8 @@ def main():
tests = [] tests = []
for test in args.tests: for test in args.tests:
if args.empty_character:
test = test.replace(args.empty_character, 'λ') test = test.replace(args.empty_character, 'λ')
tm = Emulator(program, test) tm = Emulator(program, test)