Skip to content

Commit 4846d2b

Browse files
committed
updated readme
1 parent 70ab3d6 commit 4846d2b

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

README.md

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -245,17 +245,17 @@ See the example 'non-OPL'.
245245

246246
# Popper settings
247247

248-
To run with statistics use the flag `--stats`.
248+
To run with statistics use the flag `--stats` (`settings.stats = True`).
249249

250-
To run in debug mode use the flag `--debug`.
250+
To run in debug mode use the flag `--debug` (`settings.debug = True`).
251251

252-
To run in information mode use the flag `--info`.
252+
To run in information mode use the flag `--info` (`settings.info = True`).
253253

254254
To show the full hypothesis space (bounded by `N`) use the flag `--hspace N`.
255255

256-
To run with a maximum learning time use the flag `--timeout`.
256+
To run with a maximum learning time use the flag `--timeout` (`settings.timeout = N`).
257257

258-
To run with a maximum example testing time use the flag `--eval-timeout`.
258+
To run with a maximum example testing time use the flag `--eval-timeout` (`settings.eval_timeout = True`).
259259

260260
To allow non-Datalog clauses, where a variable in the head need not appear in the body, add ``non_datalog.` to your bias file.
261261

0 commit comments

Comments
 (0)