the pthread backend. It caused some weird deadlock or behavior
depending on the pthread implementation. [AL]
* Bugfix: get the exceptions raised in the simulator repport where
the pthread backend. It caused some weird deadlock or behavior
depending on the pthread implementation. [AL]
* Bugfix: get the exceptions raised in the simulator repport where