To run the validation, sync futhark libraries in the root folder with futhark pkg sync. Then run make test-py here. A nix-shell with pinned dependencies is provided.