Compare commits

..

No commits in common. "aed358095fcbbfd6c01def18efaaf0d307de4f77" and "bced2517481216c08c1aa95eea97e69a266142a6" have entirely different histories.

2 changed files with 2 additions and 2 deletions

View File

@ -2,5 +2,5 @@ How to run:
```
docker image build --quiet --tag runall-image .
docker container run --tty --rm --read-only --memory=128m runall-image
docker container run --tty --rm --read-only --memory=6m runall-image
```

View File

@ -70,7 +70,7 @@ def find_script(pairs, max_length):
print(f"Progress: {done_tasks}/{num_tasks}")
if result:
print(f"> Found candidate: '{script}'")
print("> Found candidate:", script)
candidates.append(script)
print("Candidates:", candidates)