\set ECHO none
NOTICE:  ProvSQL: schema "provsql" is not in your default search_path (currently: "$user", public).
NOTICE:  ProvSQL operators and functions are resolved through search_path. Run "SELECT provsql.setup_search_path();" to add it, or set it manually (e.g. ALTER DATABASE provsql_test_aux SET search_path = "$user", public, provsql).
add_provenance

(1 row)
aux_has_gates
t
(1 row)
primary_unaffected
t
(1 row)
mmap_files
5
(1 row)
aux_dir_gone
0
(1 row)