DesignTests

all > de.uka.ilkd.key.util > DesignTests
3

tests
0

failures
1

ignored
0.379s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.077s passed
testHashCodeImplemented() 0.302s passed
xtestTermSubclassVisibility() - ignored

Standard output

948887     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948887     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948890     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948890     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948890     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948892     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948892     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948892     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948893     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948894     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948895     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948896     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948900     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948905     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948905     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948906     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948906     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948910     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948914     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948924     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948928     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948938     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948949     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948950     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948951     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948956     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948956     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948956     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948965     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948970     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948971     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948971     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948971     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948971     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948972     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948972     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948975     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948976     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948986     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948986     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948991     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948992     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948992     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948994     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948995     INFO  Test worker     d.u.i.k.u.DesignTests     . 
948995     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949008     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949014     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949018     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949018     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949020     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949024     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949027     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949028     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949029     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949030     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949035     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949037     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949037     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949037     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949037     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949045     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949045     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949047     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949056     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949057     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949057     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949060     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949068     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949069     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949070     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949079     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949081     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949190     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949191     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949192     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949193     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949193     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949193     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949193     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949193     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949194     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949194     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949194     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949194     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949194     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949195     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949195     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949195     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949196     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949196     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949197     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949198     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949199     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949200     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949201     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949202     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949205     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949206     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949207     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949207     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949207     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949207     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949208     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949208     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949208     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949208     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949209     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949209     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949210     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949211     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949211     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949211     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949211     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949212     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949213     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949213     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949213     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949213     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949214     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949214     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949215     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949215     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949215     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949216     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949217     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949217     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949217     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949217     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949217     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949217     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949218     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949218     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949219     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949220     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949220     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949220     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949220     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949221     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949221     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949221     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949221     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949221     INFO  Test worker     d.u.i.k.u.DesignTests     . 
949222     INFO  Test worker     d.u.i.k.u.DesignTests     .