projects
/
repair.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d5e200f
)
update readme
author
bdemsky
<bdemsky>
Thu, 9 Dec 2004 20:33:12 +0000
(20:33 +0000)
committer
bdemsky
<bdemsky>
Thu, 9 Dec 2004 20:33:12 +0000
(20:33 +0000)
Repair/RepairCompiler/MCC/README
patch
|
blob
|
history
diff --git
a/Repair/RepairCompiler/MCC/README
b/Repair/RepairCompiler/MCC/README
index 2a6dbff53ea035cc7ed9360cedd4927965627fd3..c5278cb27d7e7613950eeb1c6fa6b6c509328a7c 100755
(executable)
--- a/
Repair/RepairCompiler/MCC/README
+++ b/
Repair/RepairCompiler/MCC/README
@@
-13,29
+13,29
@@
A. First compile the specification checker:
cd MCC
java -cp .. MCC.Compiler -aggressivesearch -prunequantifiernodes specs/filesystem/test3
cd MCC
java -cp .. MCC.Compiler -aggressivesearch -prunequantifiernodes specs/filesystem/test3
-B. Next move files to the
r
untime directory:
+B. Next move files to the
CR
untime directory:
-cp size.* Runtime
-cp specs/filesystem/test3_aux.* Runtime
-cp specs/filesystem/test3.c
c
Runtime
+cp size.*
C
Runtime
+cp specs/filesystem/test3_aux.*
C
Runtime
+cp specs/filesystem/test3.c
C
Runtime
C. Next build the runtime:
C. Next build the runtime:
-cd Runtime
+cd
C
Runtime
mkdir specs
cd specs
ln -s .. filesystem
cd ..
./buildruntime
mkdir specs
cd specs
ln -s .. filesystem
cd ..
./buildruntime
-g
++ -O9 -c test3_aux.c
c
-g
++ -O9 danfile.cc *.o -o dan
file
+g
cc -O9 -c test3_aux.
c
+g
cc -O9 file.c *.o -o
file
D. To run:
D. To run:
-./
dan
file 0 (create filesystem)
+./file 0 (create filesystem)
-./
danfile 1
(write file to filesytem, interrupt with ctrl-C to
+./
file 5
(write file to filesytem, interrupt with ctrl-C to
introduce an error)
introduce an error)
-./
dan
file x (check & repair filesystem)
+./file x (check & repair filesystem)