[transport]
PORT = 12465
PLUGINS = tcp
-PREFIX = xterm -T transport1 -e
+#PREFIX = xterm -T transport1 -e
+#PREFIX = xterm -T transport1 -e gdb -x cmd --args
#PREFIX = xterm -T transport1 -e valgrind --tool=memcheck
-DEBUG = YES
+#DEBUG = YES
[arm]
PORT = 12466
[core]
PORT = 12470
#PREFIX = xterm -T core1 -e valgrind --tool=memcheck
+#OPTIONS = -l log-core-1
#PREFIX = xterm -T core1 -e gdb -x cmd --args
-PREFIX = xterm -T core1 -e
-DEBUG = YES
+#PREFIX = xterm -T core1 -e
+#DEBUG = YES
[testing]
WEAKRANDOM = YES