#!/usr/bin/env bash echo "Deleting datasets..." rm -r ../datasets echo "Deleting states and databases..." rm -r ./out echo "Done."