diff --git a/src/runtime/tests/sync_failure.rs b/src/runtime/tests/sync_failure.rs index 2960280107bae342e742ad3988d1f629f30e6a54..e4f3205d2081570dd4b0b314d18b3cc30aef7a1d 100644 --- a/src/runtime/tests/sync_failure.rs +++ b/src/runtime/tests/sync_failure.rs @@ -9,14 +9,14 @@ fn test_local_sync_failure() { // If the component exits cleanly, then the runtime exits cleanly, and the // test will finish const CODE: &'static str = " - primitive immediate_failure_inside_sync() { + comp immediate_failure_inside_sync() { u32[] only_allows_index_0 = { 1 }; while (true) sync { // note the infinite loop auto value = only_allows_index_0[1]; } } - primitive immediate_failure_outside_sync() { + comp immediate_failure_outside_sync() { u32[] only_allows_index_0 = { 1 }; auto never_gonna_get = only_allows_index_0[1]; while (true) sync {} @@ -35,7 +35,7 @@ fn test_local_sync_failure() { const SHARED_SYNC_CODE: &'static str = " enum Location { BeforeSync, AfterPut, AfterGet, AfterSync, Never } -primitive failing_at_location(in input, out output, Location loc) { +comp failing_at_location(in input, out output, Location loc) { u32[] failure_array = {}; while (true) { if (loc == Location::BeforeSync) failure_array[0]; @@ -50,21 +50,21 @@ primitive failing_at_location(in input, out output, Location loc) { } } -composite constructor_pair_a(Location loc) { +comp constructor_pair_a(Location loc) { channel output_a -> input_a; channel output_b -> input_b; new failing_at_location(input_b, output_a, loc); new failing_at_location(input_a, output_b, Location::Never); } -composite constructor_pair_b(Location loc) { +comp constructor_pair_b(Location loc) { channel output_a -> input_a; channel output_b -> input_b; new failing_at_location(input_b, output_a, Location::Never); new failing_at_location(input_a, output_b, loc); } -composite constructor_ring(u32 ring_size, u32 fail_a, Location loc_a, u32 fail_b, Location loc_b) { +comp constructor_ring(u32 ring_size, u32 fail_a, Location loc_a, u32 fail_b, Location loc_b) { channel output_first -> input_old; channel output_cur -> input_new;