Loading ttcn/TraceParser/MainModule.ttcn3 +2 −2 Original line number Original line Diff line number Diff line Loading @@ -295,6 +295,8 @@ module MainModule { } } }; }; all component.done; transactionTimer.start; transactionTimer.start; alt { alt { [] verdictPort.receive(VerdictStructure:?) -> value v_vs { [] verdictPort.receive(VerdictStructure:?) -> value v_vs { Loading @@ -307,8 +309,6 @@ module MainModule { } } } } all component.done; controlPort.call(writeCSVTransaction:{PX_CSV_FILE, p_tranDuration, p_nrOfEmptyMsg}, 5.0) { controlPort.call(writeCSVTransaction:{PX_CSV_FILE, p_tranDuration, p_nrOfEmptyMsg}, 5.0) { [] controlPort.getreply(writeCSVTransaction:{-, -, -} value true) { [] controlPort.getreply(writeCSVTransaction:{-, -, -} value true) { setverdict (pass); setverdict (pass); Loading Loading
ttcn/TraceParser/MainModule.ttcn3 +2 −2 Original line number Original line Diff line number Diff line Loading @@ -295,6 +295,8 @@ module MainModule { } } }; }; all component.done; transactionTimer.start; transactionTimer.start; alt { alt { [] verdictPort.receive(VerdictStructure:?) -> value v_vs { [] verdictPort.receive(VerdictStructure:?) -> value v_vs { Loading @@ -307,8 +309,6 @@ module MainModule { } } } } all component.done; controlPort.call(writeCSVTransaction:{PX_CSV_FILE, p_tranDuration, p_nrOfEmptyMsg}, 5.0) { controlPort.call(writeCSVTransaction:{PX_CSV_FILE, p_tranDuration, p_nrOfEmptyMsg}, 5.0) { [] controlPort.getreply(writeCSVTransaction:{-, -, -} value true) { [] controlPort.getreply(writeCSVTransaction:{-, -, -} value true) { setverdict (pass); setverdict (pass); Loading