← Back to branch summary

~rosivaldo-fa/set-theory/incremental

~rosivaldo-fa/set-theory/incremental

Viewing all changes in revision 1682.

Committer: rosivaldo.fa
Date: 2022-06-28 15:34:46 UTC
Revision ID: rosivaldo.fa@gmail.com-20220628153446-50eafs1ho1bo7ifo

{STI_SET}.others

files modified:
doc/tests/{STI_SET}.others

src/st_tests/properties/sets_properties/set_partition_properties.e

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

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

src/st_tests/tests/numbers_tests/sets/complex_universe_tests.e

src/st_tests/tests/numbers_tests/sets/integer_universe_tests.e

src/st_tests/tests/numbers_tests/sets/real_universe_tests.e

src/st_tests/tests/numbers_tests/sets/universe_tests.e

Show diffs side-by-side

added added

removed removed

doc/tests/{STI_SET}.others

src/st_tests/properties/sets_properties/set_partition_properties.e

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

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

src/st_tests/tests/numbers_tests/sets/complex_universe_tests.e

src/st_tests/tests/numbers_tests/sets/integer_universe_tests.e

src/st_tests/tests/numbers_tests/sets/real_universe_tests.e

src/st_tests/tests/numbers_tests/sets/universe_tests.e

Older »