Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Ph.D. - geht es zur Homepage der Informatik des Fachbereiches 3 ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
H.6. Simulation Abstract Machine Logs<br />
330 TM 0 0 0 00151971 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 381 e v a l u a t e s t o 1 :<br />
331 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
332 TM 0 0 0 00153971 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 312 e v a l u a t e s t o 1 :<br />
333 ( strcmp ( ctx−>pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
334 TM 0 0 0 00153971 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 313 e v a l u a t e s t o 1 :<br />
335 ( ( G e t S e r v i c e I n t e n s i t y ( ) > 0 . 0 0 0 0 0 0 e +00)<br />
336 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
339 TM 0 0 0 00154971 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 313 e v a l u a t e s t o 1 :<br />
340 ( ( G e t S e r v i c e I n t e n s i t y ( ) > 0 . 0 0 0 0 0 0 e +00)<br />
341 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
344 TM 0 0 0 00155971 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 313 e v a l u a t e s t o 1 :<br />
345 ( ( G e t S e r v i c e I n t e n s i t y ( ) > 0 . 0 0 0 0 0 0 e +00)<br />
346 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
349 TM 0 0 0 00156970 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 313 e v a l u a t e s t o 1 :<br />
350 ( ( G e t S e r v i c e I n t e n s i t y ( ) > 0 . 0 0 0 0 0 0 e +00)<br />
351 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
354 TM 0 0 0 00157971 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 313 e v a l u a t e s t o 1 :<br />
355 ( ( G e t S e r v i c e I n t e n s i t y ( ) > 0 . 0 0 0 0 0 0 e +00)<br />
356 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
359 TM 0 0 0 00158970 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 313 e v a l u a t e s t o 1 :<br />
360 ( ( G e t S e r v i c e I n t e n s i t y ( ) > 0 . 0 0 0 0 0 0 e +00)<br />
361 | | ( G e t V e l o c i t y ( ) pDMIValue , " C u r r e n t Train Speed i s t o o h i g h ! " ) == 0 )<br />
364 TM 0 0 0 00159970 AM 2 P PASS : @ r t t A s s e r t e x p r e s s i o n i n f i l e _sim_CEVC . r t s , l i n e 313 e v a l u a t e s t o 1 :<br />
365 ( ( G e t S e r v i c e I n t e n s i t y ( ) > 0 . 0 0 0 0 0 0 e +00)<br />
366 | | ( G e t V e l o c i t y ( ) pDMIValue , " I s o l a t i o n " ) == 0 )<br />
369 TM 0 0 0 00166975 AM 2 R ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗ TERMINATION OF AM 2 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗<br />
370 ∗ WARNINGS: 0<br />
371 ∗ FAILURES : 0<br />
372 ∗ VERDICT : PASS<br />
373 ∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗<br />
277
Change language