; Generated by ./generate-dune-rules
; For adding tests, read the instructions in the Makefile.
(rule
 (targets backward_incompatible_record_if_implicit_defaults.txt)
 (deps backward_incompatible_record_if_implicit_defaults_old.atd backward_incompatible_record_if_implicit_defaults_new.atd)
 (action
  (with-accepted-exit-codes
    0
    (with-outputs-to %{targets}
      (run %{bin:atddiff} %{deps} --exit-success --json-defaults-old)))))

(rule
 (alias runtest)
 (deps backward_incompatible_record_if_implicit_defaults.txt)
 (action (diff backward_incompatible_record_if_implicit_defaults.expected.txt backward_incompatible_record_if_implicit_defaults.txt)))

(rule
 (targets forward_incompatible_record_if_implicit_defaults.txt)
 (deps forward_incompatible_record_if_implicit_defaults_old.atd forward_incompatible_record_if_implicit_defaults_new.atd)
 (action
  (with-accepted-exit-codes
    0
    (with-outputs-to %{targets}
      (run %{bin:atddiff} %{deps} --exit-success --json-defaults-old)))))

(rule
 (alias runtest)
 (deps forward_incompatible_record_if_implicit_defaults.txt)
 (action (diff forward_incompatible_record_if_implicit_defaults.expected.txt forward_incompatible_record_if_implicit_defaults.txt)))

