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