Class org.cte.ABCD.fiacre.tests.ABCD2FiacreTests

48

tests

0

failures

0

ignored

0.750s

duration

100%

successful

Tests

Test Duration Result
TestComplexEvents 0.008s passed
TestSingleTransitionTypesByLuka 0.324s passed
test0 0.004s passed
test1 0.003s passed
test10 0.004s passed
test11 0.014s passed
test12 0.013s passed
test13 0.005s passed
test14 0.013s passed
test15 0.005s passed
test16 0.004s passed
test17 0.004s passed
test18 0.014s passed
test19 0.005s passed
test2 0.003s passed
test20 0.020s passed
test21 0.026s passed
test22 0.012s passed
test23 0.025s passed
test24 0.018s passed
test25 0.012s passed
test26 0.003s passed
test27 0.002s passed
test28 0.110s passed
test29 0.016s passed
test3 0.002s passed
test30 0.002s passed
test31 0.022s passed
test32 0.002s passed
test33 0.003s passed
test34 0.001s passed
test35 0.004s passed
test36 0.005s passed
test37 0.002s passed
test38 0.001s passed
test39 0.005s passed
test4 0.003s passed
test40 0.003s passed
test41 0.003s passed
test42 0.002s passed
test43 0.005s passed
test44 0.003s passed
test5 0.003s passed
test6 0.002s passed
test7 0.001s passed
test8 0.005s passed
test9 0.002s passed
testSendExample 0.002s passed

Standard output

.
WARNING: local semaphore 'y' in process x will be removed
WARNING: local mutex 'm' in process p will be removed
WARNING: Process v tries to unlocks mutex 'm' but it never locks it