diff options
| author |  mueller <unknown> | 2010-07-18 20:12:05 +0000 |
|---|---|---|
| committer | mueller <unknown> | 2010-07-18 20:12:05 +0000 |
| commit | 9295a538d5628a7384495c97260b0c885bab01f0 (patch) | |
| tree | 4b4a9d461525f862dcaa9282297a2ff8f893d13c /Chalice/test.bat | |
| parent | 0caa47846f73bd9387db3ee8045e3c92c9e60b17 (diff) | |
Chalice: Re-designed lockchange on methods and loops. The lockchange clause is now required to list all objects whose held or rdheld field has changed since the _method_ prestate. It seems desirable to exclude objects that were not allocated in the prestate, but this feature is not implemented yet.
Diffstat (limited to 'Chalice/test.bat')
| -rw-r--r-- | Chalice/test.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Chalice/test.bat b/Chalice/test.bat index 42124855..f7c933aa 100644 --- a/Chalice/test.bat +++ b/Chalice/test.bat @@ -1,7 +1,7 @@ @echo off
echo start > Output
-set CHALICE=call scala -cp bin Chalice -nologo
+set CHALICE=call C:\Users\pmueller.D\Documents\bin\scala\bin\scala -cp bin Chalice -nologo
REM to do: AssociationList
REM to do: GhostConst
@@ -10,7 +10,7 @@ REM to do: Leaks -checkLeaks for %%f in (cell counter dining-philosophers ForkJoin HandOverHand
iterator iterator2 producer-consumer
prog0 prog1 prog2 prog3 prog4 ImplicitLocals
- RockBand swap OwickiGries ProdConsChannel) do (
+ RockBand swap OwickiGries ProdConsChannel LoopLockChange) do (
echo Testing %%f.chalice ...
echo ------ Running regression test %%f.chalice >> Output
%CHALICE% %* examples\%%f.chalice >> Output 2>&1
|