FATAL ERROR: Exception of type 'Microsoft.Xrt.Instructions.MicroStepException' was thrown.

Question

System crashed when exploring models.

BTW, any suggestions on how to test complex returned data structures from the system under test?

Stack trace as following:

involved exception: Microsoft.Xrt.Instructions.MicroStepException: Exception of type 'Microsoft.Xrt.Instructions.MicroStepException' was thrown.

   at Microsoft.Xrt.State.ActiveState.RaiseException(Term exception

   at Microsoft.Xrt.State.ActiveState.RaiseExplorationRuntimeException(String message)

   at Microsoft.Xrt.State.ActiveState.<GetInstances>d__14.MoveNext()

   at Microsoft.ActionMachines.DomainTemplate.Extent.Evaluate(IActiveState& state, Func`2 parameters, Func`2 typeSubs, Term target, Boolean expandInstances)

   at Microsoft.ActionMachines.Cord.RuleMachineConstructProvider.RuleDescriptor.MakeDomainProvider(IActiveState& astate, HashSet`1 forTypes)

   at Microsoft.ActionMachines.Cord.RuleMachineConstructProvider.RuleDescriptor.<Instantiate>d__21.MoveNext()

   at Microsoft.ActionMachines.RuleMachine.ActivationControlState.<GetSteps>d__2a.MoveNext()

   at Microsoft.ActionMachines.DeclarationMachine.DeclarationControl.<GetSteps>d__d.MoveNext()

   at Microsoft.ActionMachines.Explorer.OpenState.MoveNext()

   at Microsoft.ActionMachines.Explorer.OpenState..ctor(Nullable`1 incomingAction, MachineState state, OpenState previousState, Explorer explorer, Boolean isStart, Int32 pathBound)

   at Microsoft.ActionMachines.Explorer.CreateInitialFrontier(IMachine machine, ICompressedState iniState)

   at Microsoft.ActionMachines.Explorer.Explore(IMachine machine)

   at Microsoft.ActionMachines.TransformationMachineProviderBase.Explore(ICompressedState initialState, IMachine machine)

   at Microsoft.ActionMachines.TransformationMachineBase.<GetInitialStates>d__0.MoveNext()

   at Microsoft.ActionMachines.DeclarationMachine.<GetInitialStates>d__0.MoveNext()

   at Microsoft.ActionMachines.Explorer.CreateInitialFrontier(IMachine machine, ICompressedState iniState)

   at Microsoft.ActionMachines.Explorer.Explore(IMachine machine)

   at Microsoft.SpecExplorer.ExploringOperator.Explore()

   at Microsoft.SpecExplorer.RemoteExplorer.Explore(IMachine machine, IConfiguration config)

   at Microsoft.SpecExplorer.RemoteExplorer.Work()

Answer 1

Hi Yan-Li,

from your error code and your remarks I guessed, that you have a similar problem described in the end of this thread (using type-binding on structs/compound values of returned values):

http://social.msdn.microsoft.com/Forums/en-US/specexplorer/thread/0e5a6080-76fd-43c6-9ac7-c05bf30699b6

The following thread with the remark from Nico could also be important for you:

http://social.msdn.microsoft.com/Forums/en-US/specexplorer/thread/89583a26-0cbf-4044-831d-c2ce86913b06

Hope it helps.

Answer 2

Hi Yan-Li,

The reason of the issue cannot be directly determined by looking at the stack, but bububa's finding may help if you have a similar modeling approach.

If the problem is still not resolved, would you mind sending a repro (better simplified) to [e-mail] for a further investigation?

Thanks,

Yiming

---

Thanks, Yiming

Answer 3

This is my issue when designing models. Thanks for your help.