Implemented the checkpoint_dir feature
Closes #164 (closed)
There you go.
Now we have a --checkpoint-dir
option.
In case --checkpoint
is set and --checkpoint-dir
is not set, checkpoints will be saved on the output
.
ping @mguenther
Closes #164 (closed)
There you go.
Now we have a --checkpoint-dir
option.
In case --checkpoint
is set and --checkpoint-dir
is not set, checkpoints will be saved on the output
.
ping @mguenther