btor 0.1.0

Rust wrapper for btor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

add_library(btor2parser
  STATIC
  btor2parser/btor2parser.c
)
target_include_directories(btor2parser PRIVATE .)
set_target_properties(btor2parser PROPERTIES PUBLIC_HEADER btor2parser/btor2parser.h)
install(
  TARGETS btor2parser
  LIBRARY DESTINATION ${CMAKE_INSTALL_LIBDIR}
  ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR}
  PUBLIC_HEADER DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}
)

if (BUILD_TOOLS)
  add_executable(btorsim
    btorsim/btorsimam.cpp
    btorsim/btorsimstate.cpp
    btorsim/btorsimvcd.cpp
    btorsim/btorsimhelpers.cpp
    btorsim/btorsim.cpp
    btorsim/btorsimbv.c
    btorsim/btorsimrng.c
  )
  target_include_directories(btorsim PRIVATE .)
  target_link_libraries(btorsim btor2parser)
  target_compile_options(btorsim PRIVATE -Wall -Wfatal-errors)
  install(TARGETS btorsim DESTINATION ${CMAKE_INSTALL_BINDIR})

  add_executable(catbtor catbtor.c)
  target_link_libraries(catbtor btor2parser)
  install(TARGETS catbtor DESTINATION ${CMAKE_INSTALL_BINDIR})

  add_executable(btorsplit btorsplit.cpp)
  install(TARGETS btorsplit DESTINATION ${CMAKE_INSTALL_BINDIR})
endif()

if(BUILD_BTOR2AIGER)
  add_library(btor2aiger STATIC
    btor2aiger.cpp
    ${CMAKE_SOURCE_DIR}/deps/aiger/aiger.c
  )
  target_include_directories(btor2aiger PRIVATE . ${CMAKE_SOURCE_DIR}/deps/aiger)
  target_link_libraries(btor2aiger btor2parser Boolector::boolector)
  install(
    TARGETS btor2aiger
    LIBRARY DESTINATION ${CMAKE_INSTALL_LIBDIR}
    ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR}
    PUBLIC_HEADER DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}
  )
endif()