(&mut self)
| 877 | } |
| 878 | |
| 879 | fn discard(&mut self) { |
| 880 | if self.interrupt_trigger.is_null() { |
| 881 | // Snapshot has already been discarded. |
| 882 | tracing::error!("Attempted to discard a snapshot multiple times"); |
| 883 | return; |
| 884 | } |
| 885 | |
| 886 | unsafe { |
| 887 | let uc: *mut uc_engine = std::ptr::null_mut(); |
| 888 | fuzzware::interrupt_trigger_discard_snapshot(uc, self.interrupt_trigger); |
| 889 | self.interrupt_trigger = std::ptr::null_mut(); |
| 890 | |
| 891 | fuzzware::timers_discard_snapshot(uc, self.timers); |
| 892 | self.timers = std::ptr::null_mut(); |
| 893 | |
| 894 | fuzzware::nvic_discard_snapshot(uc, self.nvic); |
| 895 | self.nvic = std::ptr::null_mut(); |
| 896 | |
| 897 | fuzzware::systick_discard_snapshot(uc, self.systick); |
| 898 | self.systick = std::ptr::null_mut(); |
| 899 | } |
| 900 | } |
| 901 | } |
no test coverage detected