Let benchmark target find DummyTLCState class file compiled by compile-test target.
Let benchmark target find DummyTLCState class file compiled by compile-test target.

[Build]

tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus