File containing macros and functions to test properties on graphs.
File containing macros and functions to for main testing.