Plaster
New
List
Login
text
apl
aspx
asterisk
brainfuck
c
c++hdr
c++src
cassandra
ceylon
clojure
clojurescript
cmake
cobol
coffeescript
common-lisp
crystal
csharp
css
cypher-query
cython
d
dart
diff
django
dockerfile
dylan
ebnf
ecl
ecmascript
edn
eiffel
ejs
elm
erb
erlang
ez80
factor
fcl
feature
forth
fortran
fragment
gfm
go
gql
groovy
gss
haml
handlebars-template
haskell
haxe
hive
html
http
httpd-php
httpd-php-open
hxml
ini
java
javascript
json
jsp
jsx
julia
kotlin
latex
less
literate-haskell
lua
mariadb
markdown
mbox
mirc
mscgen
msgenny
mssql
mumps
mysql
n-triples
nesc
nginx-conf
nsis
objectivec
octave
oz
pascal
perl
pgp
pgp-keys
pgp-signature
pgsql
php
pig
plsql
properties
protobuf
puppet
python
q
rpm-changes
rpm-spec
rsrc
ruby
rustsrc
sas
sass
scala
scheme
scss
sieve
slim
smarty
solr
soy
sparql-query
spreadsheet
sql
squirrel
stex
styl
swift
systemverilog
tcl
textile
tiddlywiki
tiki
tlv
tornado
ttcn-asn
ttcn-cfg
turtle
twig
typescript
typescript-jsx
vb
vbscript
velocity
verilog
vertex
vhdl
vue
webidl
xml
xml-dtd
xquery
xu
yaml
z80
default
Visibility:
public
unlisted
private
? 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