alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

[Build] add more checks

Open ACoquereau opened this issue 4 years ago • 1 comments

  • Loading and running of plugins / parsers
  • Loading of preludes
  • Make rules (archi, ..)
  • Check if --where option results are correct

ACoquereau avatar Apr 02 '20 12:04 ACoquereau

Should https://github.com/OCamlPro/alt-ergo/pull/436 resolve this issue ?

ACoquereau avatar Feb 05 '21 11:02 ACoquereau