make pacmen be able to resurrect
authorjzhou <jzhou>
Thu, 4 Sep 2008 01:01:13 +0000 (01:01 +0000)
committerjzhou <jzhou>
Thu, 4 Sep 2008 01:01:13 +0000 (01:01 +0000)
commit8a0e947214f937714a47379db6a036ec9c734913
tree5b179309964fdae4128c054fdcdf03b840ef3b5c
parent9a03a8bad044c808bdbd5a3a6d9f21c1ba418f08
make pacmen be able to resurrect
12 files changed:
Robust/src/Benchmarks/MMG/Java/Ghost.java
Robust/src/Benchmarks/MMG/Java/MMG.java
Robust/src/Benchmarks/MMG/Java/Map.java
Robust/src/Benchmarks/MMG/Java/Pacman.java
Robust/src/Benchmarks/MMG/Nor/Ghost.java
Robust/src/Benchmarks/MMG/Nor/MMG.java
Robust/src/Benchmarks/MMG/Nor/Map.java
Robust/src/Benchmarks/MMG/Nor/Pacman.java
Robust/src/Benchmarks/MMG/Tag/Ghost.java
Robust/src/Benchmarks/MMG/Tag/MMG.java
Robust/src/Benchmarks/MMG/Tag/Map.java
Robust/src/Benchmarks/MMG/Tag/Pacman.java