diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-12-21 12:45:50 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-12-21 12:45:50 -0800 |
| commit | f06217e25a9905e5ebb9bce27ac06c456b9cf5f8 (patch) | |
| tree | 06f912b404d05059cf8c61fd3372ef85fc56cdb6 /src/sat | |
| parent | 73dcdab6d836440ae5edf6fd23f9a409f9e519c2 (diff) | |
| download | abc-f06217e25a9905e5ebb9bce27ac06c456b9cf5f8.tar.gz abc-f06217e25a9905e5ebb9bce27ac06c456b9cf5f8.tar.bz2 abc-f06217e25a9905e5ebb9bce27ac06c456b9cf5f8.zip | |
Compiler warnings.
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/satoko/utils/sdbl.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/satoko/utils/sdbl.h b/src/sat/satoko/utils/sdbl.h index 9f90ba02..a26794c7 100644 --- a/src/sat/satoko/utils/sdbl.h +++ b/src/sat/satoko/utils/sdbl.h @@ -121,8 +121,8 @@ static inline void sdbl_test() { sdbl_t ten100_ = ABC_CONST(0x014c924d692ca61b); printf("%f\n", sdbl2double(ten100_)); - printf("%016lX\n", double2sdbl(1 /0.95)); - printf("%016lX\n", SDBL_CONST1); + //printf("%016lX\n", double2sdbl(1 /0.95)); + //printf("%016lX\n", SDBL_CONST1); printf("%f\n", sdbl2double(SDBL_CONST1)); printf("%f\n", sdbl2double(ABC_CONST(0x000086BCA1AF286B))); |