← Back to branch summary

~rosivaldo-fa/set-theory/incremental

~rosivaldo-fa/set-theory/incremental

Viewing all changes in revision 1801.

Committer: rosivaldo.fa
Date: 2023-03-29 16:38:37 UTC
Revision ID: rosivaldo.fa@gmail.com-20230329163837-ffancezm1vo6492e

{STI_PARTITION_SUBSET_FAMILY}.with

files added:
doc/tests/{STI_PARTITION_SUBSET_FAMILY}.with

files modified:
src/st_implementation/sets/partition_subset_family.e

src/st_specification/sets/partition_subset_family.e

src/st_tests/properties/sets_properties/partition_subset_family_properties.e

src/st_tests/tests/generics/sets_tests/partition_set_family_tests.e

src/st_tests/tests/generics/sets_tests/partition_subset_family_tests.e

src/st_tests/tests/nic/sets_tests_nic/partition_subset_family_tests_i.e

Show diffs side-by-side

added added

removed removed

doc/tests/{STI_PARTITION_SUBSET_FAMILY}.with

src/st_implementation/sets/partition_subset_family.e

src/st_specification/sets/partition_subset_family.e

src/st_tests/properties/sets_properties/partition_subset_family_properties.e

src/st_tests/tests/generics/sets_tests/partition_set_family_tests.e

src/st_tests/tests/generics/sets_tests/partition_subset_family_tests.e

src/st_tests/tests/nic/sets_tests_nic/partition_subset_family_tests_i.e

Older »