State Maintainer: OneWriteError

stateblock OneWriteError {
   addstate RFileSystem.had_write_error: boolean = false;
}

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science