(lang dune 3.13)
(name frama-c-test-get-set-requests)
(package (name frama-c-test-get-set-requests))
