Testing AIDE