Safety Property: ShowSummary

property ShowSummary {
  check RSystem.terminate () {
    naccio.library.NCheck.showSummary ();
    // bogus - forces exit because JVM sucks!
    // System.exit (0);
  }
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science