amwatson

#!/usr/bin/env python3
"""ADB-based integration test for WiVRn runtime HMD env/sysprop overrides.

This script:
- sets Android debug sysprops used by WiVRn quirks,
- starts/stops the WiVRn Android activity,
- captures logcat,
- verifies override-presence and effective values from WiVRn logs.
"""

amwatson

34c34,35
< 	tail( 0 )
---
> 	tail( 0 ),
> 	synced( false )
85c86
< bool MessageQueue::PostMessage( const char * msg, bool synced, bool abortIfFull )
---
> bool MessageQueue::PostMessage( const char * msg, bool sync, bool abortIfFull )
104c105

amwatson

FS info: MROF 792
First file: basic_test 344 104
idle
Thread 4 forked
thread 4 choosing to wait
Thread 3 forked
thread 3 choosing to wait
Thread 2 forked
thread 2 choosing to wait
Thread 1 forked

amwatson

Moroso code:
let tcb = thr_create(null, null, 0);

C output: 
struct tcb* tcb = (tcb *)thr_create(NULL, NULL, 0);

gcc error:
error: expected expression before ‘)’ token

[problem does not exist when '(tcb *)' is removed]

amwatson

int main() {  int* static_array ;; 
((static_array)[0]) = (1); return 0; }

amwatson

fn static_array_access() {
  let static_array: u32[50];
  static_array[0] = 1;
}

fn main() -> i32 {
  static_array_access();
  0
}

amwatson

commit caf89664c4fef21052373925de6ebc893bc4ec77
Author: Amanda M. Watson <amwatson@andrew.cmu.edu>
Date:   Mon Apr 14 20:11:18 2014 -0400

    fixed cr2 race

diff --git a/kern/interrupts/page_fault_handler.c b/kern/interrupts/page_fault_handler.c
index f5e7ef3..5c773bd 100644
--- a/kern/interrupts/page_fault_handler.c
+++ b/kern/interrupts/page_fault_handler.c