A Go package for controlling the symbolic execution process when running under Crux - View it on GitHub