Simics 7: repro relies on unavailable set-bookmark CLI command #287
Description
https://github.com/intel/tsffs/blob/main/src/lib.rs#L837
Simics 7.70.0
Error calling simulation stopped callback: SimExc_General: unknown command 'set-bookmark'.(_run_command): src/lib.rs:559:22