Commit 6641f52b authored by Pakulin's avatar Pakulin
Browse files

Commented out 'generated' part

parent 3adbc674
Loading
Loading
Loading
Loading
+45 −0
Original line number Diff line number Diff line
@@ -11,5 +11,50 @@ module Pos_07060101_extending_simple_content_001 {
    template E23el m_msg := {bar := 1, foo := 2.0, base := "something"}

//#TC 

//	type universal charstring Raw;
//	type port P message
//	{
//		inout E23el, Raw;
//	}
//	type component C
//	{
//		port P p;
//	}
//	external function matchFile(Raw p_textToMatch,
//		out charstring p_matchError) return boolean;
//	testcase TC() runs on C system C
//	{
//		var Raw v_rcv;
//		var charstring v_matchError;
//		map(self:p, system:p);
//        p.send(m_msg);
//        p.receive(m_msg);
//		alt {
//			[]	p.check(receive(Raw:?) -> value v_rcv) {
//				/*if (matchFile(v_rcv, v_matchError)) {
//					alt {
//						[] p.receive(m_test) {
//							setverdict(pass);
//						}
//						[] p.receive {
//							setverdict(fail, "XML decoding failure");
//						}
//					}
//				} else { 
//					setverdict(fail, v_matchError); 
//				}*/
//			}
//			[] p.receive {
//				setverdict(fail, "Raw decoding failure");
//			}
//		}
//	}
//	
//	control
//	{
//		execute(TC(), 5.0);
//	}
    
}