Project

General

Profile

« Previous | Next » 

Revision 782742b6

Added by Pierre-Loïc Garoche about 5 years ago

Merged unstable with seahorn

View differences:

src/plugins.ml
2 2

  
3 3
open PluginList
4 4

  
5

  
6 5
let options () = 
7 6
  List.flatten (
8 7
    List.map Options.plugin_opt (

Also available in: Unified diff