← Back to branch summary

~tapaal-ltl/verifypn/kbound-fix-ltl

« back to all changes in this revision

Viewing changes to src/LTL/Algorithm/CMakeLists.txt

  • Committer: Jiri Srba
  • Date: 2021-08-05 19:57:19 UTC
  • mfrom: (234.1.39 ltl-spring-2021)
  • Revision ID: srba@cs.aau.dk-20210805195719-tyf98wgglgn8xd0d
merged in lp:~tapaal-ltl/verifypn/ltl-spring-2021 adding many additions to LTL model checker (automata based methods for partial order and heuristic) and trace generation

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/LTL/Algorithm/CMakeLists.txt
1
1
set(CMAKE_INCLUDE_CURRENT_DIR ON)
2
2
 
3
3
add_library(LTL_algorithm ${HEADER_FILES}
4
 
        NestedDepthFirstSearch.cpp LTLToBuchi.cpp TarjanModelChecker.cpp RandomNDFS.cpp ModelChecker.cpp)
 
4
        NestedDepthFirstSearch.cpp LTLToBuchi.cpp TarjanModelChecker.cpp)
5
5
 
6
6
target_link_libraries(LTL_algorithm PetriEngine)
7
7
add_dependencies(LTL_algorithm ptrie-ext spot-ext)