(tests
 (names
   test_example)
 (libraries
   domain
   alcotest))