The current output is a bit rough and while fine for debugging, it's not very readable output that you want to see when running tests.
Consider using something like this:
[vm->host] function(params...) for host call entry,
[vm<-host] function return: X for host call return,
[host->vm] function(params...) for callback entry,
[host<-vm] function return: X for callback return.
with either OK, FAILED, UNEXPECTED being printed out on the right hand side, depending on the expectations.
The current output is a bit rough and while fine for debugging, it's not very readable output that you want to see when running tests.
Consider using something like this:
[vm->host] function(params...)for host call entry,[vm<-host] function return: Xfor host call return,[host->vm] function(params...)for callback entry,[host<-vm] function return: Xfor callback return.with either
OK,FAILED,UNEXPECTEDbeing printed out on the right hand side, depending on the expectations.