diff options
| author | Elmar Melcher <elmar@dsc.ufcg.edu.br> | 2021-09-14 23:44:56 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-14 19:44:56 -0700 |
| commit | 9a4465e67f39d12ab215df38e8e364a4ad9b26fc (patch) | |
| tree | 0f6bf11c9d230ac2c9556bb76bf1c2aee7b24020 /riscv/sim.h | |
| parent | 7fe7ba8419df6a00aa8512fb5cf7e3897ffe03fc (diff) | |
| download | spike-9a4465e67f39d12ab215df38e8e364a4ad9b26fc.zip spike-9a4465e67f39d12ab215df38e8e364a4ad9b26fc.tar.gz spike-9a4465e67f39d12ab215df38e8e364a4ad9b26fc.tar.bz2 | |
add option --cmd to read commands from file (#772)
Diffstat (limited to 'riscv/sim.h')
| -rw-r--r-- | riscv/sim.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/riscv/sim.h b/riscv/sim.h index 274361c..cf50de5 100644 --- a/riscv/sim.h +++ b/riscv/sim.h @@ -52,11 +52,11 @@ public: std::vector<std::pair<reg_t, abstract_device_t*>> plugin_devices, const std::vector<std::string>& args, const std::vector<int> hartids, const debug_module_config_t &dm_config, const char *log_path, - bool dtb_enabled, const char *dtb_file + bool dtb_enabled, const char *dtb_file, #ifdef HAVE_BOOST_ASIO - , io_service *io_service_ptr_ctor, tcp::acceptor *acceptor_ptr_ctor // option -s + io_service *io_service_ptr_ctor, tcp::acceptor *acceptor_ptr_ctor, // option -s #endif - ); + FILE *cmd_file); // needed for command line option --cmd ~sim_t(); // run the simulation to completion @@ -101,6 +101,8 @@ private: bus_t bus; log_file_t log_file; + FILE *cmd_file; // pointer to debug command input file + #ifdef HAVE_BOOST_ASIO // the following are needed for command socket interface boost::asio::io_service *io_service_ptr; |