Clement Deschamps
Builds for 1 pipeline passed in 5 minutes 24 seconds

greenthread: fixed 'decoupled'

It now works in both directions:
When SystemC time is ahead of QBOX time, and vice versa.
... ... @@ -404,7 +404,7 @@ class syncSource {
if (t > localBackWindow) {
localBackWindow = t;
// setWindow could lock if WE have got ahead (systemC is behind)
if (decoupled && localBackWindow < sc_time_stamp()) {
if (decoupled) {
localBackWindow = sc_time_stamp();
}
centralSyncPolicy::share.setWindow(localBackWindow, entityRef, decoupled);
... ...