← Back to branch summary

~rosivaldo-fa/set-theory/incremental

~rosivaldo-fa/set-theory/incremental

Viewing all changes in revision 866.

Committer: rosivaldo.fa
Date: 2021-03-06 18:04:22 UTC
Revision ID: rosivaldo.fa@gmail.com-20210306180422-9ht6sh100461lt85

{STI_REAL_NUMBER}.negative_infinity

files added:
EIFGENs/stt-auto_test/Testing/records/2021-03-06 3-03-36.217 PM

EIFGENs/stt-auto_test/Testing/records/{STI_REAL_NUMBER}.negative_infinity

files removed:
EIFGENs/stt-auto_test/Testing/records/2021-03-06 2-18-34.732 PM

files modified:
EIFGENs/stt-auto_test/Testing/statistics.map

src/st_tests/properties/numbers_properties/real_number_properties.e

Show diffs side-by-side

added added

removed removed

EIFGENs/stt-auto_test/Testing/records/2021-03-06 2-18-34.732 PM

EIFGENs/stt-auto_test/Testing/records/2021-03-06 3-03-36.217 PM

EIFGENs/stt-auto_test/Testing/records/{STI_REAL_NUMBER}.negative_infinity

EIFGENs/stt-auto_test/Testing/statistics.map

src/st_tests/properties/numbers_properties/real_number_properties.e

Older »