Skip to main content

Browse the archive

Revision 1dd51308999f3b164f0c95a2f858d420b2a5a2ff authored by Christian Doczkal on 12 May 2022, 08:35:59 UTC, committed by Pierre-Yves Strub on 17 October 2022, 13:31:22 UTC 
[stdlib] bound collisions for ROmap
1 parent fc2bfba
Raw File
dune 
(dirs src theories examples scripts)

(install
  (section (bin))
  (files (scripts/testing/runtest as ec-runtest)))
back to top