Martin Sidaway

icon company Newcastle University, UK icon location Sunderland, Tyne and Wear, UK icon location PhD student at Newcastle University in North East England.

Results 1 issues of Martin Sidaway

Atomic thread count update

The current master version of ReluVal can sometimes create more than `MAX_THREAD` threads. This can be seen by applying only the first commit in this pull request (track max simultaneous...