Please read through the PDF. It’s not very complicated. Need this within 30 Hrs.
http://web.cs.iastate.edu/~cs227/specchecker.pdf – Instructions on using SpecChecker
http://web.cs.iastate.edu/~sheaffer/cs227s2019/WirelessPrinter/hw1/package-summary.html – API
https://d1b10bmlvqabco.cloudfront.net/attach/jzn0qu19ilo37x/jl3xxt6a69d7hc/k0ihr0yuphkj/WirelessPrinterTest.java – Example Test Cases
It is a simple Java program with dummy functions that do not require to be functional. You do have to run the SpecChecker check for correctness.
Comments are closed.