Without this, titan tries to allocate too much memory and triggers OOM under some systems (happening here with 16GB of RAM). Related: https://gitlab.eclipse.org/eclipse/titan/titan.core/-/issues/690 Change-Id: Iafa8cfa769386e63e1d879d8cce6e24b244d9a6fchanges/44/31944/1
parent
a1af9460ea
commit
f4986e86e4
Loading…
Reference in new issue