project Witness_Seed is
   for Source_Dirs use ("src");
   for Object_Dir use "obj";
   for Exec_Dir use ".";
   for Main use ("main.adb");

   package Compiler is
      for Default_Switches ("Ada") use ("-gnat2012", "-gnatwa", "-gnatX");
   end Compiler;

   package Prove is
      for Proof_Switches ("Ada") use ("--level=4", "--mode=prove");
   end Prove;
end Witness_Seed;