tool_details_start
   name          "Fuzz";
   version       "1.2 (16-Feb-07)";
   wimpslot      512k;
tool_details_end

metaoptions_start
   has_auto_run;
   has_auto_save leafname"/out" from icn 3;
   has_text_window;
   has_summary_window;
   display_dft_is text;
metaoptions_end

fileoutput_start
   output_option_is  "-o";
   output_dft_is     produces_no_output;
fileoutput_end

dbox_start

   icons_start
      icn 3  maps_to string          not_saved;
      icn 5  maps_to string         not_saved;
      icn 8  maps_to "-s";
      icn 9  maps_to "-T";
      icn 10 maps_to "-p";
   icons_end

   defaults
      icn 5  "Fuzzlib",
      icn 8  off,
      icn 9  off,
      icn 10 off; 

   imports_start
      drag_to icn 3 inserts icn 3 separator_is " ";
      drag_to icn 5 inserts icn 5;
      drag_to iconbar inserts icn 3;
   imports_end

dbox_end


menu_start

   "No type abbreviations"    maps_to "-a";
   "Use before define"        maps_to "-d";
   "Lisp style"               maps_to "-l";
   "Assume quantifiers"       maps_to "-q";
   "Report types"             maps_to "-t";
   "Echo input"               maps_to "-v";
   "Save output"              maps_to "" produces_output;

   defaults
      menu  1 off,
      menu  2 off,
      menu  3 off,
      menu  4 off,
      menu  5 off,
      menu  6 off,
      menu  7 off;

menu_end

inclusions_start
   icn 10 includes icn 5;
inclusions_end

order_is   menu 1, menu 2, menu 3, menu 4, icn 8, menu 5, menu 6, icn 9, icn 10, icn 5, menu 7, output, icn 3;
