DesignTests

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

tests
0

failures
1

ignored
0.682s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.179s passed
testHashCodeImplemented() 0.502s passed
xtestTermSubclassVisibility() - ignored

Standard output

851433     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851434     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851438     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851439     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851439     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851440     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851442     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851442     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851444     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851445     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851447     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851448     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851449     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851449     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851449     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851449     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851452     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851453     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851458     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851458     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851465     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851465     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851473     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851473     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851474     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851477     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851479     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851480     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851489     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851492     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851493     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851499     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851500     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851500     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851528     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851528     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851528     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851528     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851529     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851530     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851530     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851530     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851531     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851544     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851554     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851575     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851576     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851581     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851583     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851586     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851588     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851589     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851589     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851590     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851592     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851592     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851593     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851593     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851594     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851613     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851613     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851614     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851614     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851620     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851621     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851621     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851622     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851622     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851627     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851635     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851638     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851639     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851641     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851642     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851644     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851645     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851645     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851649     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851649     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851652     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851655     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851668     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851675     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851675     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851677     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851677     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851695     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851701     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851702     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851704     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851707     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851707     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851709     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851714     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851717     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851717     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851722     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851722     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851723     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851937     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851939     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851940     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851943     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851944     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851944     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851944     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851945     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851945     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851946     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851946     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851946     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851947     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851947     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851947     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851948     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851948     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851949     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851949     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851950     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851950     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851951     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851951     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851953     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851953     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851954     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851956     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851956     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851956     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851957     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851957     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851958     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851959     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851959     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851960     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851960     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851960     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851961     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851961     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851961     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851962     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851963     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851963     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851964     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851965     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851965     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851966     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851968     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851968     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851968     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851969     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851982     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851982     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851983     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851983     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851986     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851987     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851988     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851988     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851989     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851989     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851990     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851990     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851992     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851994     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851994     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851994     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851997     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851997     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
851998     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852002     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852003     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852004     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852007     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852010     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852010     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852011     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852012     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852018     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852022     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852027     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852028     INFO  Test worker     d.u.i.k.u.DesignTests     . 
852028     INFO  Test worker     d.u.i.k.u.DesignTests     .