seal5.flow

Seal5 Flow API.

Functions

add_test_cfg(tests_dir)
create_seal5_directories(path, directories)
handle_directory(directory)
handle_meta_dir(meta_dir, directory, name)
lookup_manual_patch(patch[, allow_missing])

Classes

Seal5Flow([directory, meta_dir, name])