writestatef does not seem to do anything

Question

Hello,

I wrote in my script:

cmd += ['-write_statef', 'backup/backup.roe']

but still it saved the backup in

'backup/state.30.0.roe'

Does someone know how to fix this?

Kind regards

Nele

Answer 1

Hi!

Indeed, the write_statef option was not used when generating the state filename. I just fixed that with commit c7cd7bb24b74bd94e5e2a0a2adeb644416d89fef.

Thanks for pointing this out!

Best wishes,

Aurel