"""
DINO
https://dl.acm.org/doi/10.1145/2737924.2737978

---
From ScEpTIC's analysis perspective: NVRAM restored (versioning)
"""

def setup(config):
    config.memory.volatile.set_config('enabled', True)
    config.memory.volatile.set_config('contains_stack', True)
    config.memory.volatile.set_config('contains_heap', True)
    config.memory.volatile.set_config('contains_gst', True)

    config.memory.non_volatile.set_config('enabled', True)
    config.memory.non_volatile.set_config('contains_stack', False)
    config.memory.non_volatile.set_config('contains_heap', False)
    config.memory.non_volatile.set_config('contains_gst', True)

    config.state_retention.set_config('type', 'checkpoint')
    config.state_retention.set_config('state_save_strategy', 'static_placement')
    config.state_retention.set_config('state_save_behaviour', 'execute')
    config.state_retention.set_config('hibernate_after_save', False)

    config.state_retention.set_config('restore_stack', True)
    config.state_retention.set_config('restore_heap', True)
    config.state_retention.set_config('restore_volatile_gst', True)
    config.state_retention.set_config('restore_non_volatile_gst', True)

    config.state_retention.set_config('restore_register_file', True)
    config.state_retention.set_config('restore_environment', False)