seal5.utils

Seal5 utility functions.

Functions

ask_user(text, default[, yes_keys, no_keys, ...])
clean_path(path[, interactive])
cmake(src, *args[, debug, use_ninja, cwd])
copy(src, dest)
exec_getout(*args[, ignore_output, live, ...])	Wrapper for running a program in a subprocess.
get_cmake_args(cfg)
is_populated(path)
make(*args[, target, threads, use_ninja, ...])
merge_dicts(a, b[, path])
python(*args, **kwargs)	Run a python script with the current interpreter.
str2bool(value[, allow_none])