aggregate project GNATprove_By_Example is

   package Builder is
      for Global_Configuration_Pragmas use "test.adc";
   end Builder;

   for Project_Files use (
     "ug__abnormal_terminations/abnormal_terminations.gpr",
     "ug__access1/access1.gpr",
     "ug__access2/access2.gpr",
     "ug__access3/access3.gpr",
     "ug__access4/access4.gpr",
     "ug__access5/access5.gpr",
     "ug__access6/access6.gpr",
     "ug__account1/account1.gpr",
     "ug__account2/account2.gpr",
     "ug__account3/account3.gpr",
     "ug__account4/account4.gpr",
     "ug__account5/account5.gpr",
     "ug__account6/account6.gpr",
     "ug__account7/account7.gpr",
     "ug__account8/account8.gpr",
     "ug__addition/addition.gpr",
     "ug__addition_bignum/addition_bignum.gpr",
     "ug__addition_rewrite/addition_rewrite.gpr",
     "ug__addition_saturated/addition_saturated.gpr",
     "ug__aggregate_aspect_model/aggregate_aspect.gpr",
     "ug__aggregate_aspect_predefined/aggregate_aspect.gpr",
     "ug__aliasing/aliasing.gpr",
     "ug__arith_with_local_subp/arith_with_local_subp.gpr",
     "ug__assert_disabled/assert_disabled.gpr",
     "ug__assert_enabled/assert_enabled.gpr",
     "ug__assert_twice/assert_twice.gpr",
     "ug__assume_then_assert/assume_then_assert.gpr",
     "ug__assumptions/assumptions.gpr",
     "ug__bank1/bank1.gpr",
     "ug__bank2/bank2.gpr",
     "ug__bank3/bank3.gpr",
     "ug__bank4/bank4.gpr",
     "ug__bank5/bank5.gpr",
     "ug__bank6/bank6.gpr",
     "ug__bank7/bank7.gpr",
     "ug__bank8/bank8.gpr",
     "ug__binary_search_final/binary_search_final.gpr",
     "ug__binary_search_naive/binary_search_naive.gpr",
     "ug__binary_search_no_loopinv/binary_search_no_loopinv.gpr",
     "ug__binary_search_post_assert/binary_search_post_assert.gpr",
     "ug__binary_search_precise/binary_search_precise.gpr",
     "ug__binary_search_range/binary_search_range.gpr",
     "ug__check_aliasing/check_aliasing.gpr",
     "ug__check_param_aliasing/check_param_aliasing.gpr",
     "ug__count_arr_zero/count_arr_zero.gpr",
     "ug__counterex/counterex.gpr",
     "ug__counterex_unprovable/counterex_unprovable.gpr",
     "ug__count_vec_zero/count_vec_zero.gpr",
     "ug__data_initialization/data_initialization.gpr",
     "ug__diff2/diff2.gpr",
     "ug__diff/diff.gpr",
     "ug__exceptions/exceptions.gpr",
     "ug__exceptions_bad/exceptions_bad.gpr",
     "ug__exceptions_bad_init/exceptions_bad_init.gpr",
     "ug__exceptions_post/exceptions_post.gpr",
     "ug__exceptions_rte/exceptions_rte.gpr",
     "ug__exclude_selected_parts/exclude_selected_parts.gpr",
     "ug__exclude_unit_body/exclude_unit_body.gpr",
     "ug__forgetful_assert/forgetful_assert.gpr",
     "ug__frame_condition/frame_condition.gpr",
     "ug__functional/functional.gpr",
     "ug__functional_imported/functional_imported.gpr",
     "ug__functional_proved/functional_proved.gpr",
     "ug__gen_abstract_global/gen_abstract_global.gpr",
     "ug__gen_ada_global/gen_ada_global.gpr",
     "ug__gen_imported_global/gen_imported_global.gpr",
     "ug__gen_refined_global/gen_refined_global.gpr",
     "ug__geometry/geometry.gpr",
     "ug__increment_calls/increment_calls.gpr",
     "ug__increment_full/increment_full.gpr",
     "ug__increment_guarded/increment_guarded.gpr",
     "ug__increment/increment.gpr",
     "ug__increment_local/increment_local.gpr",
     "ug__increment_loop/increment_loop.gpr",
     "ug__increment_loop_inv/increment_loop_inv.gpr",
     "ug__init_access_list_zero/init_access_list_zero.gpr",
     "ug__init_arr_index/init_arr_index.gpr",
     "ug__init_arr_index_relaxed_init/init_arr_index_relaxed_init.gpr",
     "ug__init_arr_zero/init_arr_zero.gpr",
     "ug__init_arr_zero_relaxed_init/init_arr_zero_relaxed_init.gpr",
     "ug__init_data/init_data.gpr",
     "ug__init_list_zero/init_list_zero.gpr",
     "ug__init_vec_zero/init_vec_zero.gpr",
     "ug__instance_increment/instance_increment.gpr",
     "ug__integrity/integrity.gpr",
     "ug__integrity_proved/integrity_proved.gpr",
     "ug__justifications/justifications.gpr",
     "ug__linear_search_ada/linear_search_ada.gpr",
     "ug__linear_search_contract/linear_search_contract.gpr",
     "ug__linear_search_final_cases/linear_search_final_cases.gpr",
     "ug__linear_search_final/linear_search_final.gpr",
     "ug__linear_search_flow/linear_search_flow.gpr",
     "ug__linear_search_loopinv/linear_search_loopinv.gpr",
     "ug__linear_search_loopinv_ok/linear_search_loopinv_ok.gpr",
     "ug__linear_search_no_variant/linear_search_no_variant.gpr",
     "ug__linear_search_prove/linear_search_prove.gpr",
     "ug__linear_search_spark/linear_search_spark.gpr",
     "ug__logging_discr/logging_discr.gpr",
     "ug__logging_in_abstract/logging_in_abstract.gpr",
     "ug__logging_in/logging_in.gpr",
     "ug__logging/logging.gpr",
     "ug__logging_no_dispatch/logging_no_dispatch.gpr",
     "ug__logging_out_abstract/logging_out_abstract.gpr",
     "ug__logging_out/logging_out.gpr",
     "ug__logging_priv/logging_priv.gpr",
     "ug__long__at_end_borrow/at_end_borrow.gpr",
     "ug__long__invariants/long_invariants.gpr",
     "ug__long__map_access_list_incr_copy/long_map_access_list_incr_copy.gpr",
     "ug__long__perm/long_perm.gpr",
     "ug__long__sort/long_sort.gpr",
     "ug__long__update_access_list_zero/long_update_access_list_zero.gpr",
     "ug__loop_types/loop_types.gpr",
     "ug__loop_unrolling/loop_unrolling.gpr",
     "ug__map_access_list_incr/map_access_list_incr.gpr",
     "ug__map_arr_incr/map_arr_incr.gpr",
     "ug__map_list_incr/map_list_incr.gpr",
     "ug__map_vec_incr/map_vec_incr.gpr",
     "ug__more_use_geometry/more_use_geometry.gpr",
     "ug__my_find/my_find.gpr",
     "ug__nonlinear/nonlinear.gpr",
     "ug__only_data_dependencies/only_data_dependencies.gpr",
     "ug__only_flow_dependencies/only_flow_dependencies.gpr",
     "ug__ownership_annotations/ownership_annotations.gpr",
     "ug__ownership_borrowing/ownership_borrowing.gpr",
     "ug__ownership_observing/ownership_observing.gpr",
     "ug__ownership_transfer_at_call/ownership_transfer_at_call.gpr",
     "ug__ownership_transfer/ownership_transfer.gpr",
     "ug__partial_forget_assert/partial_forget_assert.gpr",
     "ug__possibly_nonterminating/possibly_nonterminating.gpr",
     "ug__predicates/predicates.gpr",
     "ug__preserved_components/preserved_components.gpr",
     "ug__preserved_fields/preserved_fields.gpr",
     "ug__range_logging_no_dispatch/range_logging_no_dispatch.gpr",
     "ug__range_logging/range_logging.gpr",
     "ug__recursive_subprograms-multiple/recursive_subprograms_multiple.gpr",
     "ug__recursive_subprograms-mutually/recursive_subprograms_mutually.gpr",
     "ug__recursive_subprograms/recursive_subprograms.gpr",
     "ug__recursive_subprograms-structural/recursive_subprograms_structural.gpr",
     "ug__search_access_list_max/search_access_list_max.gpr",
     "ug__search_access_list_zero/search_access_list_zero.gpr",
     "ug__search_arr_max/search_arr_max.gpr",
     "ug__search_arr_zero/search_arr_zero.gpr",
     "ug__search_list_max/search_list_max.gpr",
     "ug__search_list_zero/search_list_zero.gpr",
     "ug__search_vec_max/search_vec_max.gpr",
     "ug__search_vec_zero/search_vec_zero.gpr",
     "ug__selected_subprograms/selected_subprograms.gpr",
     "ug__selected_units/selected_units.gpr",
     "ug__semaphores1/semaphores1.gpr",
     "ug__semaphores2/semaphores2.gpr",
     "ug__simple_loops/simple_loops.gpr",
     "ug__simple_loops_unroll/simple_loops_unroll.gpr",
     "ug__storage_error/storage_error.gpr",
     "ug__swap_bad_depends/swap_bad_depends.gpr",
     "ug__swap_bad_post/swap_bad_post.gpr",
     "ug__swap_bad/swap_bad.gpr",
     "ug__swap_modulo/swap_modulo.gpr",
     "ug__swap/swap.gpr",
     "ug__swap_warn/swap_warn.gpr",
     "ug__synchronous_abstractions/synchronous_abstractions.gpr",
     "ug__synchronous_abstractions_user/synchronous_abstractions_user.gpr",
     "ug__terminating_annotations/terminating_annotations.gpr",
     "ug__terminating_loops-structural/terminating_loops_structural.gpr",
     "ug__terminating_loops/terminating_loops.gpr",
     "ug__uc_to_access/uc_to_access.gpr",
     "ug__uc/uc.gpr",
     "ug__update_arr_zero/update_arr_zero.gpr",
     "ug__update_list_zero/update_list_zero.gpr",
     "ug__update_range_arr_zero/update_range_arr_zero.gpr",
     "ug__update_range_list_zero/update_range_list_zero.gpr",
     "ug__update_range_vec_zero/update_range_vec_zero.gpr",
     "ug__update_vec_zero/update_vec_zero.gpr",
     "ug__use_generic/use_generic.gpr",
     "ug__use_geometry/use_geometry.gpr",
     "ug__use_global/use_global.gpr",
     "ug__use_logging_classwide/use_logging_classwide.gpr",
     "ug__use_logging/use_logging.gpr",
     "ug__validate_access_list_zero/validate_access_list_zero.gpr",
     "ug__validate_arr_zero/validate_arr_zero.gpr",
     "ug__validate_full_arr_zero/validate_full_arr_zero.gpr",
     "ug__validate_list_zero/validate_list_zero.gpr",
     "ug__validate_vec_zero/validate_vec_zero.gpr",
     "ug__validity/validity.gpr",
     "ug__volatile_example_a/volatile_example_a.gpr",
     "ug__volatile_or_not/volatile_or_not.gpr",
     "ug__warn2/warn2.gpr",
     "ug__warn/warn.gpr");

end GNATprove_By_Example;
