Viewing all changes in revision 953.
- Committer: sinevbirch at gmail
- Date: 2015-06-02 15:29:01 UTC
- Revision ID: sinevbirch@gmail.com-20150602152901-4rfg9u409vwd2qd5
1-safe never use EF false. Wellbehaved check uses p1 = p1copy
- files modified:
- src/dk/aau/cs/verification/compworkflow/CompWorkflowWorker.java
expand all
collapse all
added
removed
