-
- Downloads
TraceExplorer improvements - #393
. Removed Xmx and XX:MaxDirectMemorySize for TLCRunner's default JVM arguments . Added a optional parameter to TraceExplorer's -traceExpressions and -replBis to allow the user to pass JVM arguments to the runner . Conformed TraceExplorer's valued parameters to be separated by a space and not an equals sign . Ceased redundant "Error: Error:" log prefix [Enhancement][Tools]
Loading
Please register or sign in to comment