(tests
 (names
   test_dial
   test_solver)
 (libraries
   year2025
   alcotest
   qcheck-core
   qcheck-alcotest)
 (action (run %{test} -e))
 (modes byte exe))