Re-exploring a model from command line?

Question

Hi

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?

 

Thanks,

Simon

Answer 1

Hi Simon,

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. 

Answer 2

please check this link

http://blogs.msdn.com/b/specexplorer/archive/2011/01/07/spec-explorer-2010-release-3-4-now-available.aspx

regards

mona

Answer 3

Hi, Simon,

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
                        not.
                        (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 [e-mail] ?

Thanks,

Xiang