mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-09 04:35:35 -05:00
10 lines
242 B
Text
10 lines
242 B
Text
|
|
(alias
|
|
(name runtest)
|
|
(package msat)
|
|
(deps README.md src/core/msat.cma src/sat/msat_sat.cma src/sudoku/sudoku_solve.exe)
|
|
(locks test)
|
|
(action (progn
|
|
(run mdx test README.md)
|
|
(diff? README.md README.md.corrected))))
|
|
|