tool: parse u64 correctly

Signed-off-by: James Archer <[email protected]>
seL4 · Jul 26, 2024 · 18f4f27 · 18f4f27
1 parent 5367c76
commit 18f4f27
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/tool/microkit/src/sysxml.rs b/tool/microkit/src/sysxml.rs
@@ -835,10 +835,8 @@ impl DomainSchedule {
                 ));
             }
 
-            let time = checked_lookup(xml_sdf, &child, "length")?
-                .parse::<i64>()
-                .unwrap();
-            if time <= 0 {
+            let time = checked_lookup(xml_sdf, &child, "length")?.parse::<u64>();
+            if let Err(_) = time {
                 return Err(format!(
                     "Error: invalid domain time '{}': {}",
                     name,
@@ -848,7 +846,7 @@ impl DomainSchedule {
 
             domains.push(Domain {
                 name: name.to_string(),
-                length: time as u64,
+                length: time.unwrap(),
             });
         }