Skip to content

Conversation

@S1eGa
Copy link
Collaborator

@S1eGa S1eGa commented Aug 22, 2023

Related to the #106

Added come hacks to run KLEE on 32-bit sources with uClibc:

  • Creates memory object for errno with address from local address space
  • Builds 2 version of klee-uClibc for 32 and 64 bits

@S1eGa S1eGa added the enhancement New feature or request label Aug 22, 2023
@S1eGa
Copy link
Collaborator Author

S1eGa commented Aug 22, 2023

Draft until running on testcomp benchmarks.

@S1eGa S1eGa force-pushed the uclibc-32bit branch 5 times, most recently from 7f419df to d359135 Compare August 22, 2023 12:46
@codecov-commenter
Copy link

Codecov Report

Merging #115 (f65a63e) into main (9406351) will decrease coverage by 6.43%.
Report is 1 commits behind head on main.
The diff coverage is 37.50%.

❗ Current head f65a63e differs from pull request most recent head d359135. Consider uploading reports for the commit d359135 to get more accurate results

@@            Coverage Diff             @@
##             main     #115      +/-   ##
==========================================
- Coverage   65.37%   58.94%   -6.43%     
==========================================
  Files         211      206       -5     
  Lines       28676    26775    -1901     
  Branches     6374     6036     -338     
==========================================
- Hits        18746    15782    -2964     
- Misses       7442     8689    +1247     
+ Partials     2488     2304     -184     
Files Changed Coverage Δ
include/klee/ADT/ImmutableTree.h 82.27% <ø> (ø)
lib/Core/Executor.h 76.92% <ø> (ø)
tools/klee/main.cpp 58.76% <20.00%> (-0.37%) ⬇️
lib/Core/Executor.cpp 65.85% <40.00%> (-7.49%) ⬇️
lib/Core/SpecialFunctionHandler.cpp 58.67% <100.00%> (-14.85%) ⬇️

... and 64 files with indirect coverage changes

@S1eGa S1eGa added bug Something isn't working and removed enhancement New feature or request labels Aug 22, 2023
@misonijnik misonijnik marked this pull request as ready for review September 19, 2023 09:15
@misonijnik misonijnik merged commit 0a16747 into UnitTestBot:main Sep 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants