PauWare2Web software is a Web simulator for PauWare2. This software is provided “as is” without any particular license. It is based on the Java 11 (or later) HTTP Client and WebSocket APIs.
3 sec. 100%
My_stackallow: search/My_stack._search(Object)allow: empty_/My_stack._emptyNot_emptyallow: peek/My_stack._peekEmptyinvariant: [My_stack.size_is_equal_to_0]More_than_oneinvariant: [My_stack.size_is_greater_than_1]Only_oneinvariant: [My_stack.size_is_equal_to_1]push/My_stack._push(Object)pop/My_stack._poppush/My_stack._push(Object)pop[My_stack.size_is_equal_to_2]/My_stack._poppop[My_stack.size_is_not_equal_to_2]/My_stack._poppush/My_stack._push(Object)
Dependencies