projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Bug in the freeciv spec.
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
specs
/
freeciv
/
test.constraints
diff --git
a/Repair/RepairCompiler/MCC/specs/freeciv/test.constraints
b/Repair/RepairCompiler/MCC/specs/freeciv/test.constraints
index edd80391968be418fa59e12485f898eeabaf898f..e1ea1e99f193eca8acab3ecf765fe03555a0b080 100755
(executable)
--- a/
Repair/RepairCompiler/MCC/specs/freeciv/test.constraints
+++ b/
Repair/RepairCompiler/MCC/specs/freeciv/test.constraints
@@
-1,5
+1,5
@@
[],sizeof(MAP)=1;
[],sizeof(GRID)=1;
-[forall t in TILE],t.TERRAIN>=0 and t.TERRAIN<=1
2
;
+[forall t in TILE],t.TERRAIN>=0 and t.TERRAIN<=1
1
;
[forall c in CITY],sizeof(c.~CITYMAP)=1;
[forall c in CITY],!c.~CITYMAP.TERRAIN=7;