(library
 (name stop_and_copy)
 (modules stop_and_copy))

(test
 (name tri)
 (modules tri)
 (libraries stop_and_copy))

(test
 (name josephus)
 (modules josephus)
 (libraries stop_and_copy))