DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Removed usage of old name, added in a Euler power of like primes example. When the pairwise ASSERT_NEs are absent, you get interesting results that show examples of integer overflows.

Browse Source
This commit is contained in:
Peter Goodman
2017-12-10 14:39:05 -05:00
parent fcd000dc14
commit f28b285ac3
3 changed files with 51 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
examples/CMakeLists.txt
View File

@@ -19,6 +19,9 @@ target_link_libraries(Fixture deepstate)
add_executable(Primes Primes.cpp)
target_link_libraries(Primes deepstate)
add_executable(Euler Euler.cpp)
target_link_libraries(Euler deepstate)
add_executable(IntegerOverflow IntegerOverflow.cpp)
target_link_libraries(IntegerOverflow deepstate)

44
examples/Euler.cpp Normal file
View File

@@ -0,0 +1,44 @@
/*
* Copyright (c) 2017 Trail of Bits, Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include <deepstate/DeepState.hpp>
using namespace deepstate;
static unsigned pow5(unsigned v) {
return v * v * v * v * v;
}
TEST(Euler, SumsOfLikePowers) {
symbolic_unsigned a, b, c, d, e;
ASSERT_GT(a, 1);
ASSERT_GT(b, 1);
ASSERT_GT(c, 1);
ASSERT_GT(d, 1);
ASSERT_GT(e, 1);
ASSERT_NE(a, b); ASSERT_NE(a, c); ASSERT_NE(a, d); ASSERT_NE(a, e);
ASSERT_NE(b, c); ASSERT_NE(b, d); ASSERT_NE(b, e);
ASSERT_NE(c, d); ASSERT_NE(c, e);
ASSERT_NE(d, e);
ASSERT_NE(pow5(a) + pow5(b) + pow5(c) + pow5(d), pow5(e))
<< a << "^5 + " << b << "^5" << " + " << c
<< "^5 + " << d << "^5 = " << e << "^5";
}
int main(void) {
return DeepState_Run();
}

8
src/lib/Stream.c
View File

@@ -277,11 +277,11 @@ void DeepState_StreamResetFormatting(enum DeepState_LogLevel level) {
memset(&(stream->options), 0, sizeof(stream->options));
}
static int McTest_NumLsInt64BitFormat = 2;
static int DeepState_NumLsInt64BitFormat = 2;
/* `PRId64` will be "ld" or "lld" */
DEEPSTATE_INITIALIZER(McTest_NumLsFor64BitFormat) {
McTest_NumLsInt64BitFormat = (PRId64)[1] == 'd' ? 1 : 2;
DEEPSTATE_INITIALIZER(DeepState_NumLsFor64BitFormat) {
DeepState_NumLsInt64BitFormat = (PRId64)[1] == 'd' ? 1 : 2;
}
/* Approximately do string format parsing and convert it into calls into our
@@ -419,7 +419,7 @@ get_length_char:
if (!length) {
length = 1;
} else if (num_ls >= McTest_NumLsInt64BitFormat) {
} else if (num_ls >= DeepState_NumLsInt64BitFormat) {
length = 8;
}