ADDED: Prolog flag unknown_option with values {ignore,warning,error}.
#877
| Job | Run time |
|---|---|
| 2m 54s | |
| 2m 54s |
unknown_option with values {ignore,warning,error}.
#877
| Job | Run time |
|---|---|
| 2m 54s | |
| 2m 54s |