How can I check if my 4-bit adder/sub is working properly (Verilog)

Question

How can I check if my 4-bit adder is working properly. If it is then it should display "OK" or if its not then "NOT". I wrote the code and the bench test