You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
LD_LIBRARY_PATH=/home/hai/sledge/sledge/runtime/bin
|
|
SLEDGE_SCHEDULER=MDL
|
|
SLEDGE_SANDBOX_PERF_LOG=/home/hai/sledge/sledge/runtime/tests/runtime_sandbox_perf_log.log
|
