{
  "name": "Demo_TestGenToFile",
  "modelID": 34,
  "desc": "Demonstrate generation of test cases to web page and excel using SeqOut plugin(s). The model is configured to generate test cases into webpage. To generate test case into excel, just change the Plugin to Seqout Excel.",
  "AUTVer": "aut 1.1",
  "modelVer": "model 1.0",
  "reqVer": "req 1.2",
  "TOVer": "4.6.13",
  "sequencer": "optimalSequence",
  "seed": 300,
  "stopOn": {},
  "plugins": [
      "ALM",
      "SeqOut"
  ],
  "coverageType": "alltrans",
  "subModels": []
}