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