seal5.flow

Seal5 Flow API.

Functions

add_test_cfg(tests_dir)	Add LLVM lit testing config.
create_seal5_directories(path, directories)	Create Seal5 directories.
handle_directory(directory)	Process passed directory.
handle_meta_dir(meta_dir, directory, _name)	Handle selection of meta directory.
lookup_manual_patch(patch[, allow_missing])	Lookup manual Seal5 patch.

Classes

Seal5Flow([directory, meta_dir, name])

Seal5 Flow.