Searched refs:Savepoint (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()430 private readonly Dictionary<string, Savepoint> savepoints;441 private struct Savepoint struct in Antmicro.Renode.RobotFramework.RenodeKeywords443 public Savepoint(string selectedMachine, string filename) in Savepoint() argument
