buzden
commented
8 years ago Is this property going to have a semantics of a requirement or of an actual completion time property?
Open reteprelief opened 8 years ago
buzden
commented
8 years ago Is this property going to have a semantics of a requirement or of an actual completion time property?
It is useful to have such a property in addition to Deadline and Compute_Execution_Time