Java Tester Results

Tester

Output : /tmp/tester.java
Java code : /tmp/BBag.java
Alii : /tmp/alii.d
Signatures : /tmp/signatures.d
Test Vectors : /tmp/points.d
Axia : /tmp/axioms.d
Aliases : Javaprint, MX, count, gen, not
Javaprint = System.out.print
MX = 15
count = int
gen = new BBag
not = !
Signatures : Javaprint, MX, add, add_many, empty, equal, full, gen, has, max, not, number, print, remove, remove_many, size
int MX
{BBag} add ({BBag}, int)
{BBag} add_many ({BBag}, int, count)
boolean empty ({BBag})
boolean equal ({BBag}, BBag)
boolean full ({BBag})
BBag gen (int)
boolean has ({BBag}, int)
int max ({BBag})
boolean not (boolean)
count number ({BBag}, int)
{BBag} remove ({BBag}, int)
{BBag} remove_many ({BBag}, int, count)
int size ({BBag})
boolean (* == *)
boolean (* != *)
boolean (boolean && boolean)
boolean (boolean || boolean)
boolean (boolean ^^ boolean)
int (int + int)
int (int - int)
int (int * int)
int (int / int)
int (int % int)
* (* ? *)
* (* : *)
Types : BBag, String, boolean, char, count, int
BBag : {print}
boolean : Javaprint
int : Javaprint
Vectors : elt1, elt2, elt3, elt4, elt5, elt6, elt7, elt8, elt9, elt0, cnt1, cnt2, cnt3, cnt4, s1, s2, s2a, s2b, s2c, s2d, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15
int elt1 0
int elt2 1
int elt3 2
int elt4 3
int elt5 123456789
int elt6 1123456789
int elt7 2123456789
int elt8 56789
int elt9 23456789
int elt0 3456789
count cnt1 count (0)
count cnt2 count (1)
count cnt3 count (5)
count cnt4 count (10)
BBag s1 gen (MX)
BBag s2 add (gen (MX), elt1)
BBag s2a add_many (s1, elt1, cnt4)
BBag s2b add_many (s2a, elt4, cnt3)
BBag s2c remove_many (s2b, elt1, cnt2)
BBag s2d add_many (s2c, elt5, cnt1)
BBag s3 add (s2, elt2)
BBag s4 remove (s3, elt2)
BBag s5 remove (s3, elt3)
BBag s6 add (add (add (s3, 7), 9), 12)
BBag s7 remove (add (remove (add (add (s6, elt5), elt4), elt5), elt5), elt4)
BBag s8 remove (s6, 7)
BBag s9 gen (40)
BBag s10 remove (add (remove (add (add (s9, elt5), elt4), elt5), elt5), elt4)
BBag s11 add (s10, elt3)
BBag s12 remove (remove (s11, elt3), elt4)
BBag s13 gen (40)
BBag s14 gen (80)
BBag s15 gen (1000)
Axia : ax1, ax2, ax2a, ax3, ax4, ax5, ax6, addCommutes, addRemCommute, sizeUp
ax1 equal (remove (gen (MX), e'), gen (MX))
ax2 equal (remove (add (S', e1'), e2'), (e1'' == e2'') ? (has (S'', e') ? add (remove (S''', e''), e''') : S'''') : add (remove (S''''', e2'''), e1'''))
ax2a equal (remove (add_many (S', e', c'), e''), (c'' != 0) ? add_many (S'', e''', count (int (c''') - 1)) : remove (S''', e''''))
ax3 has (gen (MX), e') == false
ax4 has (add (S', e1'), e2') == ((e1'' == e2'') ? true : has (S'', e2'''))
ax5 empty (gen (MX)) == true
ax6 empty (add (S', e')) == false
addCommutes equal (add (add (S', e1'), e2'), add (add (S'', e2''), e1''))
addRemCommute equal (remove (add (S', e'), e''), (has (S'', e''') ? add (remove (S''', e''''), e''''') : S''''))
sizeUp size (add (S', e')) == size (S'') + 1

Summary

Axiom `ax1' tested 10 times.
Axiom `ax2' tested 19000 times.
Axiom `ax2a' tested 760 times.
Axiom `ax3' tested 10 times.
Axiom `ax4' tested 1900 times.
Axiom `ax5' tested 1 times.
Axiom `ax6' tested 190 times.
Axiom `addCommutes' tested 1900 times.
Axiom `addRemCommute' tested 190 times.
Axiom `sizeUp' tested 190 times, failed 190 times.

Back to User Interface