Skip to content

Commit e6984a1

Browse files
committed
Only send back numeric guidance if we have a strictly better example than the extremal example; fix broken link
1 parent 8d201a1 commit e6984a1

1 file changed

Lines changed: 10 additions & 10 deletions

File tree

antithesis_sdk.h

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
// This header file contains the Antithesis C++ SDK, which enables C++ applications to integrate with the [Antithesis platform].
44
//
5-
// Documentation for the SDK is found at https://antithesis.com/docs/using_antithesis/sdk/cpp/overview/.
5+
// Documentation for the SDK is found at https://antithesis.com/docs/using_antithesis/sdk/cpp/.
66

77
#ifndef NO_ANTITHESIS_SDK
88

@@ -42,7 +42,7 @@
4242
#include <utility>
4343

4444
namespace antithesis {
45-
inline const char* SDK_VERSION = "0.4.5";
45+
inline const char* SDK_VERSION = "0.4.6";
4646
inline const char* PROTOCOL_VERSION = "1.1.0";
4747

4848
struct JSON; struct JSONArray;
@@ -675,11 +675,11 @@ namespace antithesis::internal::assertions {
675675
// we're negative and the extreme value is positive; never send back
676676
return false;
677677
} else if (half_gap.second && extreme_half_gap.second) {
678-
// both positive; send back if our absolute value is at least as large
679-
return half_gap.first >= extreme_half_gap.first;
678+
// both positive; send back if our absolute value is larger
679+
return half_gap.first > extreme_half_gap.first;
680680
} else {
681-
// both negative; send back if our absolute value is at least as small
682-
return half_gap.first <= extreme_half_gap.first;
681+
// both negative; send back if our absolute value is smaller
682+
return half_gap.first < extreme_half_gap.first;
683683
}
684684
} else {
685685
if (half_gap.second && !extreme_half_gap.second) {
@@ -689,11 +689,11 @@ namespace antithesis::internal::assertions {
689689
// we're negative and the extreme value is positive; always send back
690690
return true;
691691
} else if (half_gap.second && extreme_half_gap.second) {
692-
// both positive; send back if our absolute value is at least as small
693-
return half_gap.first <= extreme_half_gap.first;
692+
// both positive; send back if our absolute value is smaller
693+
return half_gap.first < extreme_half_gap.first;
694694
} else {
695-
// both negative; send back if our absolute value is at least as large
696-
return half_gap.first >= extreme_half_gap.first;
695+
// both negative; send back if our absolute value is larger
696+
return half_gap.first > extreme_half_gap.first;
697697
}
698698
}
699699
}

0 commit comments

Comments
 (0)