pull/1/head
ondra05 2023-07-11 10:33:55 +02:00
parent 32b63c0f23
commit e7c014f6e4
No known key found for this signature in database
GPG Key ID: 0DA6D2BB2285E881
1 changed files with 3 additions and 0 deletions

View File

@ -365,6 +365,9 @@ pub enum VmRunError {
/// Virtual machine halt ok
#[derive(Copy, Clone, Debug, PartialEq, Eq)]
pub enum VmRunOk {
/// Program has eached its end
End,
/// Program was interrupted by a timer
Timer,
}