？ GATEWAY.CONNECTOR/TEST::CONNECTOR ？ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTOR ？ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTOR-ECHO # Phase :ASSERT 4 0.000 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.002 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.002 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.002 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.002 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 4 0.001 ✔ (true (wait () (cable-equal data (connection-receive conn)))) 0.047 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTOR-ECHO ？ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTOR-DEATH # Phase :ARRANGE 2 0.000 ✔ (true (wait () (not (deadp connector)))) 3 0.000 ✔ (false (every (function deadp) (acceptors connector))) 4 0.000 ✔ (false (every (function deadp) (listeners connector))) 5 0.000 ✔ (false (every (function deadp) (writers connector))) # Phase :ASSERT 7 0.100 ✔ (true (wait () (deadp connector))) 8 0.000 ✔ (true (every (function deadp) (acceptors connector))) 9 0.000 ✔ (true (every (function deadp) (listeners connector))) 10 0.000 ✔ (true (every (function deadp) (writers connector))) 0.101 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTOR-DEATH 0.148 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTOR ？ GATEWAY.CONNECTOR/TEST::STANDARD-WRITER ？ GATEWAY.CONNECTOR/TEST::STANDARD-WRITER-DEATH # Phase :ARRANGE 2 0.000 ✔ (false (deadp writer)) # Phase :ASSERT 4 0.001 ✔ (true (wait () (deadp writer))) 0.002 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-WRITER-DEATH ？ GATEWAY.CONNECTOR/TEST::STANDARD-WRITER-WRITE-DATA # Phase :ASSERT 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.002 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.002 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.002 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.001 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 6 0.002 ✔ (is cable-equal data (wait () (connection-receive (second conns)))) 0.062 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-WRITER-WRITE-DATA 0.064 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-WRITER ？ GATEWAY.CONNECTOR/TEST::STANDARD-LISTENER ？ GATEWAY.CONNECTOR/TEST::STANDARD-LISTENER-MESSAGE # Phase :ASSERT 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.002 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 7 0.001 ✔ (true (wait () (funcall test-fn data))) 0.039 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-LISTENER-MESSAGE ？ GATEWAY.CONNECTOR/TEST::STANDARD-LISTENER-DEAD-CONNECTION # Phase :ARRANGE 4 0.000 ✔ (false (deadp listener)) 5 0.000 ✔ (is = 1 (connection-count listener)) # Phase :ASSERT 7 0.001 ✔ (true (wait () (= 0 (connection-count listener)))) 8 0.000 ✔ (false (deadp listener)) 0.003 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-LISTENER-DEAD-CONNECTION 0.042 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-LISTENER ？ GATEWAY.CONNECTOR/TEST::STANDARD-ACCEPTOR ？ GATEWAY.CONNECTOR/TEST::STANDARD-ACCEPTOR-DEATH # Phase :ARRANGE 2 0.000 ✔ (false (deadp acceptor)) # Phase :ASSERT 4 0.100 ✔ (true (wait () (deadp acceptor))) 0.101 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-ACCEPTOR-DEATH ？ GATEWAY.CONNECTOR/TEST::STANDARD-ACCEPTOR-UNIT # Phase :ASSERT 3 0.001 ✔ (true (wait () (= 3 (length (with-lock-held (lock) connections))))) 0.002 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-ACCEPTOR-UNIT 0.103 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-ACCEPTOR ？ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION ？ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION-SEND-RECEIVE # Phase :ASSERT 3 0.000 ✔ (true (wait () (readyp y))) 4 0.000 ✔ (is cable-equal data (connection-receive y)) 3 0.000 ✔ (true (wait () (readyp y))) 4 0.000 ✔ (is cable-equal data (connection-receive y)) 3 0.000 ✔ (true (wait () (readyp y))) 4 0.000 ✔ (is cable-equal data (connection-receive y)) 3 0.000 ✔ (true (wait () (readyp y))) 4 0.000 ✔ (is cable-equal data (connection-receive y)) 3 0.000 ✔ (true (wait () (readyp y))) 4 0.000 ✔ (is cable-equal data (connection-receive y)) 3 0.000 ✔ (true (wait () (readyp y))) 4 0.000 ✔ (is cable-equal data (connection-receive y)) 3 0.000 ✔ (true (wait () (readyp y))) 4 0.000 ✔ (is cable-equal data (connection-receive y)) 3 0.000 ✔ (true (wait () (readyp y))) 4 0.000 ✔ (is cable-equal data (connection-receive y)) 3 0.000 ✔ (true (wait () (readyp y))) 4 0.000 ✔ (is cable-equal data (connection-receive y)) 3 0.000 ✔ (true (wait () (readyp y))) 4 0.000 ✔ (is cable-equal data (connection-receive y)) 0.003 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION-SEND-RECEIVE ？ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION-DEATH # Phase :ARRANGE 2 0.000 ✔ (false (deadp (first conns))) 3 0.000 ✔ (false (deadp (second conns))) # Phase :ASSERT 5 0.000 ✔ (true (deadp (first conns))) 6 0.000 ✔ (true (deadp (second conns))) 0.000 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION-DEATH ？ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION-DEAD # Phase :ARRANGE 3 0.000 ✔ (true (wait () (readyp (second conns)))) # Phase :ASSERT 5 0.000 ✔ (false message) 6 0.000 ✔ (false alivep) 0.000 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION-DEAD ？ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION-INCOMPLETE-INPUT # Phase :ARRANGE 3 0.000 ✔ (true (readyp (second conns))) # Phase :ASSERT 5 0.000 ✔ (false (readyp (second conns))) 6 0.000 ✔ (false message) 7 0.000 ✔ (true alivep) 0.047 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION-INCOMPLETE-INPUT ？ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION-COMPLETE-INPUT # Phase :ARRANGE 3 0.000 ✔ (true (readyp (second conns))) # Phase :ASSERT 5 0.000 ✔ (false (readyp (second conns))) 6 0.000 ✔ (is cable-equal message '(1 2 3 4)) 7 0.000 ✔ (is eq alivep t) 0.001 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION-COMPLETE-INPUT 0.052 ✔ GATEWAY.CONNECTOR/TEST::STANDARD-CONNECTION 0.410 ✔ GATEWAY.CONNECTOR/TEST::CONNECTOR ;; Summary: Passed: 142 Failed: 0 Skipped: 0