projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Bugs with generating ands and ors...ahh.
[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 9899a73828b0e50bc742857e21aafcd11f37b3b7..edd80391968be418fa59e12485f898eeabaf898f 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
3
;
+[forall t in TILE],t.TERRAIN>=0 and t.TERRAIN<=1
2
;
[forall c in CITY],sizeof(c.~CITYMAP)=1;
[forall c in CITY],!c.~CITYMAP.TERRAIN=7;