Skip to content
Snippets Groups Projects
Commit f8b8f2a1 authored by Sven Tennie's avatar Sven Tennie :smiley_cat:
Browse files

Assure RTS is not paused after rts_unpause() (#18405)

Assert this invariant in tests.
parent e7f21df8
No related merge requests found
Pipeline #24546 passed with warnings
......@@ -23,6 +23,11 @@ void* pauseAndUnpause_thread(void* unused){
rts_unpause(r_paused);
if(rts_isPaused()) {
errorBelch("Expected the RTS to be unpaused.");
exit(1);
}
return NULL;
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment