# CMake generated Testfile for 
# Source directory: /Users/jipspel/Documents/Tools/storm/src/test/storm-dft
# Build directory: /Users/jipspel/Documents/Tools/storm/test/src/test/storm-dft
# 
# This file includes the relevant testing commands required for 
# testing this directory and lists subdirectories to be tested as well.
add_test(run-test-dft-api "/Users/jipspel/Documents/Tools/storm/test/bin/test-dft-api")
set_tests_properties(run-test-dft-api PROPERTIES  _BACKTRACE_TRIPLES "/Users/jipspel/Documents/Tools/storm/src/test/storm-dft/CMakeLists.txt;20;add_test;/Users/jipspel/Documents/Tools/storm/src/test/storm-dft/CMakeLists.txt;0;")
add_test(run-test-dft-storage "/Users/jipspel/Documents/Tools/storm/test/bin/test-dft-storage")
set_tests_properties(run-test-dft-storage PROPERTIES  _BACKTRACE_TRIPLES "/Users/jipspel/Documents/Tools/storm/src/test/storm-dft/CMakeLists.txt;20;add_test;/Users/jipspel/Documents/Tools/storm/src/test/storm-dft/CMakeLists.txt;0;")
