t to prune in Tau Validator). define tc_engine 'default': reserved for TTCN test case generation. define time_horizon '10000.0': used for performance simulation. define timescale '1': contains the value specified for the timescale option when launching the Simulator. Cannot be changed. define tp_coverage '0%': reserved for TTCN test case generation. Other Simulator Features 287 define tp_coverage_limit '100': reserved for TTCN test case generation. define tp_dir '.': reserved for TTCN test case generation. define htp_interpretation 'complete': reserved for TTCN test case generation. define tp_msc_gen 'false': reserved for TTCN test case generation. define tp_obs_step 'true': reserved for TTCN test case generation. define trace_stmt 'true': when true, the SDL statements are traced in PR (textual) form in the Simulator window. define trans_events_limit '1000': used to detect infinite loops in the SDL model. Here, after 1000 events, the transition is considered infinite and an error is reported. define trap_multiple_receiver 'true': when true, detects an error if a signal (or a remote procedure call) is transmitted and several process instances can receive it through the same path (channels and routes). When false, no error is raised, as specified in [SDL92]. If the signal can be received through different paths, no error is raised, as specified in [SDL92]. define trap_no_receiver 'true': when true, detects an error if a signal (or a remote procedure call) is transmitted and no receiver exists (for example, the process instance has stopped). When false, no error is raised and the signal is discarded, as specified in [SDL92]. define trap_unexpected_signal 'true': when true, detects an error if a signal is transmitted and no input exists for such signal in the current state of the receiver. When false, no error is raised and the signal is discarded, as specified in [SDL92]. define ts_controllable 'true': reserved for TTCN test case generation. define ts_default_testcase 'DEF_0': reserved for TTCN test case generation.