Commit 27681fff authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Added termination synchronization via events (preparation for coverage logic)

parent 96872f2b
Pipeline #103 skipped