project(tests)

add_subdirectory(testenv_empty_scenario)
add_subdirectory(testenv_ping_pong)
add_subdirectory(testenv_simple_one_step)
add_subdirectory(testenv_simple_two_steps)
add_subdirectory(testenv_wait_completion_simple)
add_subdirectory(testenv_stored_state_name)
add_subdirectory(testenv_simple_when_any)
add_subdirectory(testenv_simple_when_all)
add_subdirectory(testenv_simple_when_all_2)
add_subdirectory(testenv_simple_when_all_3)

add_subdirectory(testenv_mpmc_mbox_ignore)

add_subdirectory(testenv_constraints)

add_subdirectory(testenv_constructors)

add_subdirectory(impact_as_message)

add_subdirectory(inline_ns)

add_subdirectory(wait_evt_handler_completion)

add_subdirectory(no_msg_from_envelope)
add_subdirectory(msg_from_envelope)

add_subdirectory(mbox_receives_msg)

add_subdirectory(inspect_msg)

