Searched refs:engine_clone (Results 1 – 4 of 4) sorted by relevance
31 let engine_clone = engine.clone(); in main() localVariable34 engine_clone.increment_epoch(); in main()
71 let engine_clone = engine.clone(); in run_and_count_yields_or_trap() localVariable72 setup_func(engine_clone); in run_and_count_yields_or_trap()
1008 let engine_clone = store.engine().clone(); in debug_serve_body() localVariable1012 engine_clone.increment_epoch(); in debug_serve_body()
295 let engine_clone = store.engine().clone(); in execute() localVariable301 engine_clone.increment_epoch(); in execute()