This commit is contained in:
Simon Cruanes 2022-06-30 20:36:14 -04:00
parent 89702924d8
commit 962874c038
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -15,6 +15,9 @@
(executable
(name t)
(modules t)
(preprocess
(action
(run %{project_root}/src/core/cpp/cpp.exe %{input-file})))
(libraries qcheck-core qcheck-core.runner containers containers.cbor))
(rule