Skip to main content

Browse the archive

Revision 168c6d73eb0dde51ce040dba9e36df0db022714e authored by Pierre-Yves Strub on 17 May 2022, 15:16:35 UTC, committed by Pierre-Yves Strub on 18 May 2022, 05:22:28 UTC 
[runtest]: do not display warnings/infos as errors
 
Fix #198
1 parent 3c1476b
Raw File
dune 
(dirs src theories examples scripts)

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