test_all_situations (test_model.Tests.test_all_situations) ... ok
test_burn_repair (test_model.Tests.test_burn_repair) ... ok
test_cold_still_valid (test_model.Tests.test_cold_still_valid) ... ok
test_lesson_freezes_time (test_model.Tests.test_lesson_freezes_time) ... ok
test_oven_cannot_swap (test_model.Tests.test_oven_cannot_swap) ... ok
test_ownership_and_swap (test_model.Tests.test_ownership_and_swap) ... ok
test_random_abuse (test_model.Tests.test_random_abuse) ... ok
test_resume_cook (test_model.Tests.test_resume_cook) ... ok
test_shelf_pipeline (test_model.Tests.test_shelf_pipeline) ... ok
test_single_move_buffer (test_model.Tests.test_single_move_buffer) ... ok
test_terminal_stops (test_model.Tests.test_terminal_stops) ... ok
test_undo_time_and_ownership (test_model.Tests.test_undo_time_and_ownership) ... ok

----------------------------------------------------------------------
Ran 12 tests in 0.039s

OK
