adding clock system call

2026-07-11 03:43:33 +01:00
parent 2ab0d129a2
commit e499f500c3
4 changed files with 41 additions and 0 deletions
@@ -151,6 +151,10 @@ CASES = [
    {"name": "ioport",
     "expect": r"DANOS-TEST-RESULT: PASS",
     "fail":   r"DANOS-TEST-RESULT: FAIL"},
+    # Monotonic clock (clock() syscall source): calibrated, advancing, never backwards.
+    {"name": "clock",
+     "expect": r"DANOS-TEST-RESULT: PASS",
+     "fail":   r"DANOS-TEST-RESULT: FAIL"},
    # Parallelism: needs more than one core, so this case boots with -smp 4.
    {"name": "smp",
     "smp":    4,