search

lsils / bill

C++ header-only reasoning library
MIT License
11 stars 6 forks source link

Fixed Visual Studio compilation error #49

Closed marcelwa closed 2 years ago

marcelwa commented 2 years ago

As discussed in mockturtle issue 531, the vecThreads class in the Glucose solver does not compile properly when the code is instantiated using neither GCC nor Clang due to the utilized __sync_bool_compare_and_swap function. Removing said class solves the issue.

codecov-commenter commented 2 years ago

Codecov Report

Merging #49 (61d049c) into master (888c854) will not change coverage. The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master      #49   +/-   ##
=======================================
  Coverage   94.67%   94.67%           
=======================================
  Files          14       14           
  Lines        1070     1070           
=======================================
  Hits         1013     1013           
  Misses         57       57

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 888c854...61d049c. Read the comment docs.