Address Scott's comment. Let stormpy_interface_test fail if stormpy is not installed. Use run_test mechanism, which currently does not run stormpy_interface_test to specify which tests to run
Address Scott's comment. Let stormpy_interface_test fail if stormpy is not installed. Use run_test mechanism, which currently does not run stormpy_interface_test to specify which tests to run

tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control