crete-dev icon indicating copy to clipboard operation
crete-dev copied to clipboard

Published 20 hours ago • verified publisher icon SVL-PSU

crete-svm-node does not refer to correct klee name

Open moralismercatus opened this issue 7 years ago • 0 comments

The name of the crete-klee executable has been changed to crete-klee-1.3.0. This change was not reflected in crete-svm-node's fallback routine that looks in PATH when the user declines to provide a path to crete-klee.

The relevant line: https://github.com/SVL-PSU/crete-dev/blob/master/lib/cluster/svm_node_fsm.cpp#L651

Solution is simple. Change crete-klee to crete-klee-1.3.0

moralismercatus avatar May 19 '17 23:05 moralismercatus