3 sec.
100%
My_stack allow: search/My_stack._search(Object) allow: empty_/My_stack._empty Not_empty allow: peek/My_stack._peek Empty invariant: [My_stack.size_is_equal_to_0] More_than_one invariant: [My_stack.size_is_greater_than_1] Only_one invariant: [My_stack.size_is_equal_to_1] push/My_stack._push(Object) pop/My_stack._pop push/My_stack._push(Object) pop[My_stack.size_is_equal_to_2]/My_stack._pop pop[My_stack.size_is_not_equal_to_2]/My_stack._pop push/My_stack._push(Object)
Dependencies
Java API for Processing JSON software is linked to PauWare2Web as a runtime library.
PlantUML Java software is linked to PauWare2Web as a runtime library.
Graphviz software (required by PlantUML ) is a priori installed on Windows .
Graphviz software on macOS may be installed using Homebrew
(see also here …).
Tyrus Java software is linked to PauWare2Web as a runtime library.