There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
CADE encoding not working
If command run_symdiff_bpl.cmd v1 v2 /rvt /opts:" -usemutual -useMutualSummariesAsAxioms -freeContracts " under SymDiff/Test/resilience/approx_feb_2015/examples/control/arr1 directory,
an error message shows,
"Fatal error: SymDiff failed with exception Collection was modified; enumeration operation may not execute."