Searched refs:savepoints (Results 1 – 1 of 1) sorted by relevance
25 savepoints = new Dictionary<string, Savepoint>(); in RenodeKeywords()172 savepoints[state] = new Savepoint(currentMachine, tempfileName); in Provides()189 var isSerialized = savepoints.TryGetValue(state, out var savepoint); in Requires()430 private readonly Dictionary<string, Savepoint> savepoints; field in Antmicro.Renode.RobotFramework.RenodeKeywords
