DesignTests

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

tests
0

failures
1

ignored
0.523s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.100s passed
testHashCodeImplemented() 0.423s passed
xtestTermSubclassVisibility() - ignored

Standard output

828701     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828701     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828703     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828703     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828704     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828705     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828705     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828705     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828706     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828707     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828708     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828709     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828712     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828713     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828714     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828714     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828714     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828717     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828719     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828721     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828721     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828721     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828724     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828727     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828729     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828730     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828730     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828730     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828732     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828732     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828733     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828734     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828737     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828738     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828750     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828755     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828756     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828758     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828759     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828765     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828766     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828767     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828774     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828782     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828783     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828783     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828785     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828787     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828787     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828792     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828806     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828807     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828808     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828811     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828818     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828819     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828830     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828833     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828833     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828834     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828834     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828834     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828847     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828847     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828849     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828850     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828851     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828851     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828852     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828854     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828861     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828869     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828870     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828871     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828885     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828894     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828895     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828895     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828895     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828912     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828913     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828915     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828931     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828932     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828932     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828935     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828959     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828961     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828963     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828970     INFO  Test worker     d.u.i.k.u.DesignTests     . 
828975     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829126     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829126     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829127     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829128     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829131     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829134     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829134     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829135     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829135     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829135     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829136     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829137     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829137     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829138     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829138     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829139     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829140     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829140     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829140     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829143     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829147     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829149     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829149     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829152     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829153     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829153     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829153     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829153     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829154     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829154     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829155     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829156     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829157     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829157     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829157     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829157     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829158     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829158     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829159     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829161     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829161     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829162     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829165     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829166     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829167     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829168     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829169     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829171     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829172     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829172     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829172     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829173     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829174     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829175     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829175     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829175     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829176     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829176     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829176     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829177     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829177     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829179     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829179     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829179     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829180     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829181     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829182     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829182     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829183     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829183     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829183     INFO  Test worker     d.u.i.k.u.DesignTests     . 
829184     INFO  Test worker     d.u.i.k.u.DesignTests     .