DesignTests

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

tests
0

failures
1

ignored
0.472s

duration
100%

successful

Tests

Test Duration Result
testGuiSep() 0.076s passed
testHashCodeImplemented() 0.396s passed
xtestTermSubclassVisibility() - ignored

Standard output

780942     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780944     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780945     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780946     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780946     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780949     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780950     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780951     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780951     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780952     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780956     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780957     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780960     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780961     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780962     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780962     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780963     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780965     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780967     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780968     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780968     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780968     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780970     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780973     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780973     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780975     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780975     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780976     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780976     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780976     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780977     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780977     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780977     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780978     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780979     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780979     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780980     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780980     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780980     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780984     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780985     INFO  Test worker     d.u.i.k.u.DesignTests     . 
780994     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781000     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781001     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781005     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781006     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781015     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781016     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781017     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781021     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781022     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781023     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781024     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781024     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781028     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781028     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781029     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781030     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781040     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781052     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781052     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781058     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781060     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781060     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781061     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781061     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781061     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781062     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781062     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781064     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781072     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781073     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781073     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781075     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781078     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781079     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781079     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781080     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781095     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781097     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781108     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781108     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781109     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781132     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781133     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781135     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781141     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781142     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781143     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781145     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781149     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781150     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781338     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781339     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781339     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781340     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781343     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781344     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781345     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781346     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781349     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781350     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781351     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781352     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781353     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781355     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781355     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781355     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781356     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781356     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781356     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781356     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781357     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781357     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781358     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781359     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781359     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781359     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781360     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781361     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781362     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781362     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781363     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781364     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781364     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781365     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781366     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781367     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781367     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781368     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781369     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781370     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781370     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781370     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781370     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781370     INFO  Test worker     d.u.i.k.u.DesignTests     . 
781371     INFO  Test worker     d.u.i.k.u.DesignTests     .