renamed wc_file

Status Job ID Name Coverage
  Build
passed #50121
1.9.0-coq-8.10

00:01:46

passed #50122
1.9.0-coq-8.10-classic

00:03:00

passed #50125
1.9.0-coq-8.9

00:01:45

failed #50126
allowed to fail
1.9.0-coq-dev

00:01:15

passed #50127
allowed to fail
latest-coq-8.10

00:01:48

passed #50123
proof-length

00:00:23

failed #50124
spell-check

00:00:29

 
  Process
failed #50130
doc

00:00:35

passed #50131
doc-classic

00:00:28

failed #50132
proof-state

00:01:12

passed #50128
validate

00:00:51

passed #50129
validate-classic

00:00:53

 
Name Stage Failure
failed
proof-state Process
Collecting proof state for util/all.v...
Collecting proof state for util/div_mod.v...
Collecting proof state for util/epsilon.v...
Collecting proof state for util/search_arg.v...
Collecting proof state for util/ssromega.v...
Collecting proof state for util/rewrite_facilities.v...
Collecting proof state for util/sum.v...
Collecting proof state for util/nat.v...
ERROR: Job failed: exit code 1
failed
doc Process
File "./restructuring/model/task/absolute_deadline.v", line 1, characters 0-51:
Error:
Anomaly
"Uncaught exception Library.Faulty("/builds/mmaida/rt-proofs/restructuring/model/task/concept.vo")."
Please report at http://coq.inria.fr/bugs/.

make: *** [Makefile:669: restructuring/model/task/absolute_deadline.glob] Error 129
make: *** Waiting for unfinished jobs....
ERROR: Job failed: exit code 1
failed
1.9.0-coq-dev Build
COQC restructuring/analysis/transform/prefix.v
COQC restructuring/analysis/facts/busy_interval.v
File "./restructuring/analysis/facts/preemption/task/floating.v", line 69, characters 8-87:
Error: No applicable tactic.

make[1]: *** [Makefile:678: restructuring/analysis/facts/preemption/task/floating.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
make: *** [Makefile:327: all] Error 2
ERROR: Job failed: exit code 1
failed
spell-check Build
./restructuring/analysis/transform/facts/wc_correctness.v: potentially misspelled word 'arg'
./restructuring/analysis/transform/facts/wc_correctness.v: potentially misspelled word 'ication'
./restructuring/analysis/transform/facts/wc_correctness.v: potentially misspelled word 'pstate'
./restructuring/analysis/transform/facts/wc_correctness.v: potentially misspelled word 'sched'
./restructuring/analysis/transform/facts/wc_correctness.v: potentially misspelled word 'wc'
./restructuring/analysis/transform/facts/wc_correctness.v: potentially misspelled word 'xpred'
./restructuring/analysis/transform/wc_trans.v: potentially misspelled word 'ification'
./restructuring/analysis/transform/wc_trans.v: potentially misspelled word 'wc'
ERROR: Job failed: exit code 1