How to use run_state_machine method in hypothesis

Best Python code snippet using hypothesis

test_error_preemption_handling.py

Source:test_error_preemption_handling.py

...45        gvm.set_variable("inner_observer_2_finish", False)46    def teardown(self):47        # variables_for_pytest.test_multithrading_lock.release()48        pass49    def run_state_machine(self):50        sms = state_machine_manager.state_machines51        state_machine_execution_engine.start(sms[list(sms.keys())[0]].state_machine_id)52        state_machine_execution_engine.join()53    @staticmethod54    def assert_no_errors():55        # No error handler was executed occurred56        assert_gvm("error_handler", False)57        assert_gvm("error_handler_2", False)58        assert_gvm("inner_error_handler", False)59    def test_default_run(self, caplog):60        gvm.set_variable("wait_inner_observer_1", 1)61        gvm.set_variable("wait_inner_observer_2", 1)62        gvm.set_variable("wait_observer_1", 1)63        gvm.set_variable("wait_observer_2", 1)64        self.run_state_machine()65        self.assert_no_errors()66        testing_utils.assert_logger_warnings_and_errors(caplog, 0)67    def test_inner_observer_1_finish(self, caplog):68        gvm.set_variable("wait_inner_observer_1", 0.1)69        self.run_state_machine()70        self.assert_no_errors()71        assert_gvm("inner_observer_1_finish")72        assert_gvm("inner_exit_handler")73        assert_gvm("exit_handler")74        assert_gvm("exit_handler_2", False)75        assert_all_false(gvm.get_variable("inner_observer_2_finish"), gvm.get_variable("observer_1_finish"),76                         gvm.get_variable("observer_2_finish"))77        testing_utils.assert_logger_warnings_and_errors(caplog)78    def test_inner_observer_2_finish(self, caplog):79        gvm.set_variable("wait_inner_observer_2", 0.1)80        self.run_state_machine()81        self.assert_no_errors()82        assert_gvm("inner_observer_2_finish")83        assert_gvm("inner_exit_handler")84        assert_gvm("exit_handler")85        assert_gvm("exit_handler_2", False)86        assert_all_false(gvm.get_variable("inner_observer_1_finish"), gvm.get_variable("observer_1_finish"),87                         gvm.get_variable("observer_2_finish"))88        testing_utils.assert_logger_warnings_and_errors(caplog)89    def test_observer_1_finish(self, caplog):90        gvm.set_variable("wait_observer_1", 0.1)91        self.run_state_machine()92        self.assert_no_errors()93        assert_gvm("observer_1_finish")94        assert_gvm("inner_exit_handler")95        assert_gvm("exit_handler")96        assert_gvm("exit_handler_2")97        assert_all_false(gvm.get_variable("inner_observer_2_finish"), gvm.get_variable("inner_observer_1_finish"),98                         gvm.get_variable("observer_2_finish"))99        testing_utils.assert_logger_warnings_and_errors(caplog, 0)100    def test_observer_2_finish(self, caplog):101        gvm.set_variable("wait_observer_2", 0.1)102        self.run_state_machine()103        self.assert_no_errors()104        assert_gvm("observer_2_finish")105        assert_gvm("inner_exit_handler")106        assert_gvm("exit_handler")107        assert_gvm("exit_handler_2")108        assert_all_false(gvm.get_variable("inner_observer_2_finish"), gvm.get_variable("inner_observer_1_finish"),109                         gvm.get_variable("observer_1_finish"))110        testing_utils.assert_logger_warnings_and_errors(caplog, 0)111    def test_inner_observer_1_error(self, caplog):112        gvm.set_variable("wait_inner_observer_1", 0.1)113        gvm.set_variable("inner_observer_1_abort", True)114        self.run_state_machine()115        assert_gvm("inner_error_handler", False)116        assert_gvm("error_handler")117        assert_gvm("error_handler_2")118        assert_all_false(gvm.get_variable("inner_observer_1_finish"), gvm.get_variable("observer_1_finish"),119                         gvm.get_variable("observer_1_finish"), gvm.get_variable("observer_2_finish"))120        testing_utils.assert_logger_warnings_and_errors(caplog, 0)121    def test_inner_observer_1_exception(self, caplog):122        gvm.set_variable("wait_inner_observer_1", 0.1)123        gvm.set_variable("inner_observer_1_exception", True)124        self.run_state_machine()125        assert_gvm("inner_error_handler", False)126        assert_gvm("error_handler")127        assert_all_false(gvm.get_variable("inner_observer_1_finish"), gvm.get_variable("observer_1_finish"),128                         gvm.get_variable("observer_1_finish"), gvm.get_variable("observer_2_finish"))129        testing_utils.assert_logger_warnings_and_errors(caplog, 0, 1)130    def test_observer_1_error(self, caplog):131        gvm.set_variable("wait_observer_1", 0.1)132        gvm.set_variable("observer_1_abort", True)133        self.run_state_machine()134        self.assert_no_errors()135        assert_all_false(gvm.get_variable("inner_observer_1_finish"), gvm.get_variable("observer_1_finish"),136                         gvm.get_variable("observer_1_finish"), gvm.get_variable("observer_2_finish"))137        testing_utils.assert_logger_warnings_and_errors(caplog, 0)138    def test_observer_1_exception(self, caplog):139        gvm.set_variable("wait_observer_1", 0.1)140        gvm.set_variable("observer_1_exception", True)141        self.run_state_machine()142        self.assert_no_errors()143        assert_all_false(gvm.get_variable("inner_observer_1_finish"), gvm.get_variable("observer_1_finish"),144                         gvm.get_variable("observer_1_finish"), gvm.get_variable("observer_2_finish"))145        testing_utils.assert_logger_warnings_and_errors(caplog, 0, 1)146if __name__ == '__main__':...

a.py

Source:a.py

1from intcode import load_state_machine, run_state_machine, add_input2sm = load_state_machine('test')3add_input(sm, 1)4run_state_machine(sm)5assert sm['output'] == [0, 0, 0, 0, 0, 0, 0, 0, 0, 3122865]6sm = load_state_machine('test')7add_input(sm, 5)8run_state_machine(sm)...

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.