Changes between Version 7 and Version 8 of BackendState
- Timestamp:
- Jan 8, 2008, 10:47:54 AM (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
BackendState
v7 v8 106 106 === Result invariants === #result_invariants 107 107 108 * Eventually [#result_server_state server_state] = OVER .108 * Eventually [#result_server_state server_state] = OVER (5). 109 109 * Output files are eventually deleted. 110 110