/testsuite/formal/
../
gates
ram