2011년 6월 23일 목요일 오후 6:59
I'm trying to use the SpecExplorer.exe file to explore my model. However, sometimes I run into problems because Spec Explorer doesn't know my model has been updated. From within VS I can simply use Re-explore - how can I do the same thing from command line?
2011년 6월 27일 월요일 오전 7:58
a work-around is to add a part to your command line script that deletes certain files in your Spec Explorer project (in \bin, \obj or \ExplorationResults).
I used this simple solution for a similar problem, but I don't know the real root cause.
Maybe someone else knows more about it.P.S.: If binaries in \bin and \obj are deleted, a new build with Microsoft.NET\Framework\v3.5\MSBuild.exe in your command line script would also be necessary for exploration.
2011년 6월 29일 수요일 오후 4:36
please check this link
2011년 6월 30일 목요일 오전 3:51중재자
If you type SpecExplorer.exe, you will find the help information (for 3.5 version), I pasted some related to Re-explore:
/ReExplore: Indicate whether force re-explore the given machine or
(default is false; Short Form: '/re')
So you can use this switch to re-explore the model.
Furthermore, i am wondering the case that Spec Explorer cannot detect the update, can you send me your repro project to firstname.lastname@example.org ?