These two lines enforce an absolute path setting, which require AE to be done under ~/ppopp-artifact/.
Consider using user.dir as current_dir to have a relative one.
import java.nio.file.Paths
var Binary = Paths.get(System.getProperty("user.dir"), "ppopp-artifact/caracal/felis/buck-out/gen/db#release").toString
var WorkingDir = Paths.get(System.getProperty("user.dir"), "ppopp-artifact/caracal/felis/results").toString
These two lines enforce an absolute path setting, which require AE to be done under
~/ppopp-artifact/.Consider using
user.diras current_dir to have a relative one.