Can I restrict the values a top-level inport assumes during a test?
Yes, for details on how to do this please see Chapter The Reactis Info File Editor of the Reactis User’s Guide. In brief, do the following: • Load your model in Reactis. • Select menu item Edit, Port Types… • A window titled Reactis Info File Editor: Port Types will appear. In this window, double-click on the row corresponding to the inport you wish to constrain. A dialog will appear for specifying the set of values the port may assume.