Kevin Quick

Results 96 comments of Kevin Quick

Clarification: objdump will extract the section from all members of an `ar` file, one after another, each overwriting the output section file leaving the final contents of the section file...

Yes, the `push` and `pop` commands. The `is_sat` rule should be discharged atomically and not need to accumulate across backtracking of the intensional parameters.

The current test would make a great example application, as an alternative to a test. Having tests is great, but this is also going to break if there is an...

I think I've made all the appropriate changes. There are some places in the code I could change `x::from(v)` to `v.into()`, but I'm not sure it makes a difference? Please...

Is this something you can provide a minimal sample that reproduces the issue (or a modification of thespian/tests/test_deadLettering.py)?

The lines where I assume you made your replacement are `unstable_test(..., 'multiprocUDPBase')` lines. Those actually mark the current test as unstable for the indicated base and therefore skipped unless overridden...

For the multiprocQueueBase that you are using, I would prefer to leave process-global issues like the handling of KeyboardInterrupt up to the application, since this is a policy decision that...

Sorry, I'm not clear on "With the suggested fix ...". Did you mean the fix I suggested, or the fix you suggested in your original message, and if the latter,...

I now have access to a Mac system so I will look into this sometime this week. Thanks for your patience!