Skip to main content

Browse the archive

Revision 7ce03dc9799a816dbcb9b1164afc30d5cf2869a5 authored by Pierre-Yves Strub on 25 February 2022, 17:12:21 UTC, committed by Pierre-Yves Strub on 25 February 2022, 17:13:20 UTC 
WIP: fix printing of modules
1 parent 77aac4b
Raw File
dune 
(dirs src theories examples scripts)

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