Fix handling of processor option in Generator::scan()
#1084
| Job | Run time |
|---|---|
| 20s | |
| 20s |
processor option in Generator::scan()
#1084
| Job | Run time |
|---|---|
| 20s | |
| 20s |