At JUnit tests execution, the ratio can become 0.
At JUnit tests execution, the ratio can become 0.
tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus