
// SKIP-THIS-TEST : issue 758

import assert;
import sys;

main {
    updateable_float x = 123;
    float y = x + 321;
    assertEqual(y, 444, "adding updateable and future");
    wait (y) {
      x <incr> := 1;
      // Sleep to make sure above increment occurs
      void signal = sleep(1);
      wait (signal) {
          assertEqual(x, 124, "incremented x");
          float z = x + 100;
          assertEqual(z, 224, "z");
      }
    }
}


// SKIP-THIS-TEST : issue 758

import assert;
import sys;

main {
    updateable_float x = 123;
    float y = x + 321;
    assertEqual(y, 444, "adding updateable and future");
    wait (y) {
      x <incr> := 1;
      // Wait to make sure above increment occurs
      wait (x) {
          assertEqual(x, 124.0, "incremented x");
          float z = x + 100;
          assertEqual(z, 224.0, "z");
      }
    }
}

Fix 961 so no race condition is possible
Fix 961 so no race condition is possible

git-svn-id: 47705994653588c662f4ea400dfe88107361c0e2@14216 dc4e9af1-7f46-4ead-bba6-71afc04862de
