package Ġrun . smt . k test . specs Ċ Ċ import Ġcom . nat pr y ce . ham k rest . equalTo Ċ import Ġcom . nat pr y ce . ham k rest . should . should Match Ċ import Ġorg . junit . runner . RunWith Ċ import Ġrun . smt . k test . List Stack Ċ import Ġrun . smt . k test . runner . junit 4 . K Test JUnit Runner Ċ Ċ @ RunWith ( K Test JUnit Runner :: class ) Ċ class ĠSimple Spec Test Ġ: ĠSimple Spec ({ ĊĠĠĠ Ġtest (" List Stack . pop Ġshould Ġremove Ġthe Ġlast Ġelement Ġfrom Ġstack ") Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġstack Ġ= ĠList Stack < String >() ĊĠĠĠĠĠĠĠ Ġstack . push (" hello ") ĊĠĠĠĠĠĠĠ Ġstack . push (" world ") ĊĠĠĠĠĠĠĠ Ġstack . size () Ġshould Match ĠequalTo ( 2 ) ĊĠĠĠĠĠĠĠ Ġstack . pop () Ġshould Match ĠequalTo (" world ") ĊĠĠĠĠĠĠĠ Ġstack . size () Ġshould Match ĠequalTo ( 1 ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġtest (" List Stack . peek Ġshould Ġleave Ġthe Ġstack Ġun modified ") Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġstack Ġ= ĠList Stack < String >() ĊĠĠĠĠĠĠĠ Ġstack . push (" hello ") ĊĠĠĠĠĠĠĠ Ġstack . push (" world ") ĊĠĠĠĠĠĠĠ Ġstack . size () Ġshould Match ĠequalTo ( 2 ) ĊĠĠĠĠĠĠĠ Ġstack . peek () Ġshould Match ĠequalTo (" world ") ĊĠĠĠĠĠĠĠ Ġstack . size () Ġshould Match ĠequalTo ( 2 ) ĊĠĠĠ Ġ} Ċ }) Ċ