class UnexpectedErrorsAreCaught(CampTests):
def setUp(self):
self.sample = Sample("no_camp_config", WORKSPACE)
self.sample.create_model("goals:\n"
" running: [ Awesome ]\n"
"components:\n"
" server:\n"
" provides_services: [ Awesome ]\n"
" implementation:\n"
" docker:\n"
" file: server/Dockerfile\n")
self.sample.create_template("server", "Dockerfile", "DOESN'T MATTER")
self.sample.create_configuration(
1, "instances:\n"
" server_0:\n"
" definition: server\n"
" configuration: {}\n")
@patch("camp.generate.Z3Problem.all_solutions")
def test_with_generate_all_configurations(self, mock):
mock.side_effect = RuntimeError("This was really unexpected!")
self.generate_all()
@patch("camp.realize.Builder.build")
def test_with_realize_configurations(self, mock):
mock.side_effect = RuntimeError("This was really unexpected!")
self.realize()
class MissingConfigurationsAreReported(CampTests):
def setUp(self):
self.sample = Sample("no_camp_config", WORKSPACE)
self.sample.create_model("goals:\n"
" running: [ Awesome ]\n"
"components:\n"
" server:\n"
" provides_services: [ Awesome ]\n"
" implementation:\n"
" docker:\n"
" file: server/Dockerfile\n")
self.sample.create_template("server", "Dockerfile", "DOESN'T MATTER")
def test_with_camp_realize(self):
self.realize()