Skip to content

GitLab

Commit 4ef40634 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.113 Tue, 05 Nov 2002 16:46:57 +0100 by jahier 

Parent-Version:      0.112
Version-Log:

source/show_luc.ml:
source/lurette.ml:
source/parse_env.ml:
   Enhance error msgs during the .luc parsing. Add the line
   number.

Project-Description: Lurette
parent dc8f78dc
Expand all Hide whitespace changes
Inline Side-by-side
.lurette.prcs_aux
View file @ 4ef40634
......@@ -6,7 +6,7 @@
(test/heater_float.lus 177 1034351455 b/44_heater_flo 1.2)
(test/passerelle.luc 984 1032789516 b/17_passerelle 1.8)
(doc/synthese 2556 1007379917 b/2_synthese 1.1)
(test/temp_float.luc 728 1032789516 b/51_temp_float 1.3)
(test/temp_float.luc 730 1036511217 b/51_temp_float 1.4)
(test/ControleurPorte.rif.exp 4860 1034951022 b/29_Controleur 1.11)
(doc/ocamldoc.sty 1380 1008328137 b/12_ocamldoc.s 1.1)
(mlcuddidl/Makefile 7150 1034006019 d/9_Makefile 1.1)
......@@ -41,7 +41,7 @@
(source/print.mli 1145 1033397911 46_print.mli 1.12)
(mlcuddidl/rdd.mli 7174 1034006019 c/40_rdd.mli 1.1)
(test/Makefile 32 1035531408 c/0_Makefile 1.8)
(source/parse_env.ml 24584 1033723811 41_parse_env. 1.29)
(source/parse_env.ml 31121 1036511217 41_parse_env. 1.30)
(ihm/xlurette/xlurette_glade_main.ml 23753 1036048863 c/12_xlurette_g 1.14)
(demo/chaudiere/chaudiere_oracle.lus 107 1031732392 c/8_chaudiere_ 1.1)
(source/solver.ml 31941 1036048863 39_solver.ml 1.33)
......@@ -51,7 +51,7 @@
(source/Makefile 1285 1036048863 c/20_Makefile 1.8)
(source/util.ml 20341 1036048863 35_util.ml 1.34)
(mlcuddidl/manager.mli 7912 1034006019 c/46_manager.ml 1.1)
(test/time.res 6325 1036048863 b/49_time.res 1.20)
(test/time.res 6325 1036511217 b/49_time.res 1.21)
(doc/Interface_draft 5232 1003928781 19_Interface_ 1.1)
(source/sim2chro.mli 1455 1027943375 b/23_sim2chro.m 1.5)
(source/command_line_luc_exe.mli 1082 1034006019 b/34_command_li 1.5)
......@@ -60,7 +60,7 @@
(TAGS 9825 1007379917 21_TAGS 1.6)
(mlcuddidl/rdd.ml 8746 1034006019 c/41_rdd.ml 1.1)
(source/Makefile.lurette_lib 1741 1035531408 c/2_Makefile.l 1.8)
(source/parse_env.mli 1025 1033738731 40_parse_env. 1.10)
(source/parse_env.mli 1028 1036511217 40_parse_env. 1.11)
(source/gen_stubs.ml 27065 1036048863 24_generate_l 1.41)
(OcamlMakefile 22626 1034951022 17_OcamlMakef 1.45)
(source/command_line.ml 4914 1035557853 b/20_command_li 1.10)
......@@ -78,7 +78,7 @@
(source/ne.mli 2376 1033723811 c/22_ne.mli 1.1)
(README 2264 1034951022 10_README 1.4)
(test/vrai_tram.lus 564 1027066799 b/6_vrai_tram. 1.2)
(source/env_state.ml 20705 1036048863 51_env_state. 1.30)
(source/env_state.ml 20782 1036511217 51_env_state. 1.31)
(mlcuddidl/manager_caml.c 39233 1034006019 c/45_manager_ca 1.1)
(mlcuddidl/mtbdd.mli 4395 1034006019 c/43_mtbdd.mli 1.1)
(source/env.mli 2027 1033738731 15_env.mli 1.16)
......@@ -139,7 +139,7 @@
(source/command_line_luc_exe.ml 2786 1034006019 b/33_command_li 1.7)
(mlcuddidl/cudd_caml.h 1210 1034006019 d/2_cudd_caml. 1.1)
(source/value.ml 2355 1033723811 c/23_value.ml 1.1)
(test/time.exp 6325 1036048863 b/48_time.exp 1.17)
(test/time.exp 6325 1036511217 b/48_time.exp 1.18)
(test/giro/allocator.lus 1087 1031732392 c/5_allocator. 1.1)
(lurette.depfull.dot 49 1007651448 b/5_lurette.de 1.2)
(mlcuddidl/idd.mli 5470 1034006019 c/51_idd.mli 1.1)
......
lurette.prj
View file @ 4ef40634
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "Lurette")
(Project-Version lurette 0 112)
(Parent-Version lurette 0 111)
(Project-Version lurette 0 113)
(Parent-Version lurette 0 112)
(Version-Log "
source/parse_poc.ml: (new file)
source/gen_stubs.ml:
put everything that is related to poc parsing into
parse_poc.ml.
source/gen_fake_lutin.ml: (new file)
source/parse_poc.ml: (new file)
source/Makefile.gen_fake_lutin: (new file)
When no .lut is provided, we generate a fake one.
source/show_luc.ml:
source/lurette.ml:
source/parse_env.ml:
Enhance error msgs during the .luc parsing. Add the line
number.
")
(New-Version-Log ""
)
(Checkin-Time "Thu, 31 Oct 2002 08:21:03 +0100")
(Checkin-Time "Tue, 05 Nov 2002 16:46:57 +0100")
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
......@@ -56,8 +52,8 @@ source/Makefile.gen_fake_lutin: (new file)
(source/rnumsolver.mli (lurette/b/26_rnumsolver 1.9 644))
(source/rnumsolver.ml (lurette/b/27_rnumsolver 1.14 644))
(source/parse_env.mli (lurette/40_parse_env. 1.10 644))
(source/parse_env.ml (lurette/41_parse_env. 1.29 644))
(source/parse_env.mli (lurette/40_parse_env. 1.11 644))
(source/parse_env.ml (lurette/41_parse_env. 1.30 644))
(source/show_env.mli (lurette/42_show_env.m 1.8 644))
(source/show_env.ml (lurette/43_show_env.m 1.14 644))
......@@ -72,7 +68,7 @@ source/Makefile.gen_fake_lutin: (new file)
(source/eval.ml (lurette/49_eval.ml 1.13 644))
(source/env_state.mli (lurette/50_env_state. 1.24 644))
(source/env_state.ml (lurette/51_env_state. 1.30 644))
(source/env_state.ml (lurette/51_env_state. 1.31 644))
(source/automata.mli (lurette/b/46_automata.m 1.3 644))
(source/automata.ml (lurette/b/47_automata.m 1.5 644))
......@@ -137,8 +133,8 @@ source/Makefile.gen_fake_lutin: (new file)
(lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
(TAGS (lurette/21_TAGS 1.6 644))
(test/time.exp (lurette/b/48_time.exp 1.17 644))
(test/time.res (lurette/b/49_time.res 1.20 644))
(test/time.exp (lurette/b/48_time.exp 1.18 644))
(test/time.res (lurette/b/49_time.res 1.21 644))
;; Various files used for testing purposes
(test/usager.luc (lurette/b/14_usager.env 1.9 644))
......@@ -146,7 +142,7 @@ source/Makefile.gen_fake_lutin: (new file)
(test/porte.luc (lurette/b/16_porte.env 1.8 644))
(test/passerelle.luc (lurette/b/17_passerelle 1.8 644))
(test/temp_int.luc (lurette/b/50_temp_int.e 1.3 644))
(test/temp_float.luc (lurette/b/51_temp_float 1.3 644))
(test/temp_float.luc (lurette/b/51_temp_float 1.4 644))
(test/ControleurPorte.h (lurette/b/18_Controleur 1.1 644))
(test/ControleurPorte.c (lurette/b/19_Controleur 1.1 644))
......
source/env_state.ml
View file @ 4ef40634
......@@ -479,13 +479,18 @@ let (read_env_state_one_file : string -> node) =
list_pre, list_ce, list_arcs) =
try
Parse_env.parse_automata(
Parse_env.lexer(Stream.of_channel (open_in file)))
with e ->
print_string
("*** Error while parsing the environment file " ^ file ^ "\n");
flush stdout;
raise e
let ic = open_in file in
let aut = Parse_env.parse_automata ic
(Parse_env.lexer(Stream.of_channel ic))
in
close_in ic;
aut
with e ->
print_string
("\nA parsing error occurred in file " ^ file ^ "\n");
flush stdout;
close_in ic;
exit 2
in
let (list_pre_vn0, _) = List.split list_pre in
let list_pre_vn = add_missing_pre list_pre_vn0 in
......
source/parse_env.ml
View file @ 4ef40634
This diff is collapsed.
source/parse_env.mli
View file @ 4ef40634
......@@ -12,6 +12,8 @@
open Formula
(** Environnement automata tokens. *)
type aut_token = Genlex.token Stream.t
......@@ -28,8 +30,8 @@ type read_automata = Automata of
* label_ce list (* Definition of labels representing control expressions *)
* read_arc list (* Transition list *)
val lexer : char Stream.t -> Genlex.token Stream.t
val lexer : char Stream.t -> aut_token
val parse_automata : aut_token -> read_automata
val parse_automata : in_channel -> aut_token -> read_automata
test/temp_float.luc
View file @ 4ef40634
......@@ -19,7 +19,11 @@ arcs =
(IfThenElseNum Heat_on 0. -5.))
( < (1. * Dudt + 0.) (IfThenElseNum Heat_on 2. 0.))) .
test/time.exp
View file @ 4ef40634
Command being timed: "/tmp/lurette52/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 10.66
System time (seconds): 0.10
Percent of CPU this job got: 90%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:11.92
System time (seconds): 0.16
Percent of CPU this job got: 83%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:12.90
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 254
Minor (reclaiming a frame) page faults: 2456
Major (requiring I/O) page faults: 259
Minor (reclaiming a frame) page faults: 2457
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -23,18 +23,18 @@
Exit status: 0
Command being timed: "/tmp/lurette52/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 23.23
System time (seconds): 0.45
Percent of CPU this job got: 92%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:25.66
User time (seconds): 23.28
System time (seconds): 0.37
Percent of CPU this job got: 82%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.83
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 254
Minor (reclaiming a frame) page faults: 17525
Major (requiring I/O) page faults: 259
Minor (reclaiming a frame) page faults: 17405
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -47,18 +47,18 @@
Exit status: 0
Command being timed: "/tmp/lurette52/lurette 100 50 50 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 51.68
System time (seconds): 0.87
Percent of CPU this job got: 85%
Elapsed (wall clock) time (h:mm:ss or m:ss): 1:01.71
User time (seconds): 51.45
System time (seconds): 0.89
Percent of CPU this job got: 93%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:56.19
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 254
Minor (reclaiming a frame) page faults: 37713
Major (requiring I/O) page faults: 259
Minor (reclaiming a frame) page faults: 37720
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -72,17 +72,17 @@
Command being timed: "/tmp/lurette52/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 3.64
System time (seconds): 0.08
Percent of CPU this job got: 61%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:06.05
System time (seconds): 0.10
Percent of CPU this job got: 76%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.86
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 274
Minor (reclaiming a frame) page faults: 2449
Major (requiring I/O) page faults: 279
Minor (reclaiming a frame) page faults: 2451
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -95,18 +95,18 @@
Exit status: 0
Command being timed: "/tmp/lurette52/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 8.46
System time (seconds): 0.23
Percent of CPU this job got: 91%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.50
User time (seconds): 8.43
System time (seconds): 0.21
Percent of CPU this job got: 80%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.67
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 274
Minor (reclaiming a frame) page faults: 7410
Major (requiring I/O) page faults: 279
Minor (reclaiming a frame) page faults: 7411
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -119,18 +119,18 @@
Exit status: 0
Command being timed: "/tmp/lurette52/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 3.10
System time (seconds): 0.09
Percent of CPU this job got: 88%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.59
User time (seconds): 3.02
System time (seconds): 0.07
Percent of CPU this job got: 84%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.64
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 270
Minor (reclaiming a frame) page faults: 2449
Major (requiring I/O) page faults: 274
Minor (reclaiming a frame) page faults: 2451
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -143,18 +143,18 @@
Exit status: 0
Command being timed: "/tmp/lurette52/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 9.51
System time (seconds): 0.15
Percent of CPU this job got: 88%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.95
User time (seconds): 9.71
System time (seconds): 0.18
Percent of CPU this job got: 87%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:11.29
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 270
Minor (reclaiming a frame) page faults: 7727
Major (requiring I/O) page faults: 274
Minor (reclaiming a frame) page faults: 7807
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......
test/time.res
View file @ 4ef40634
Command being timed: "/tmp/lurette52/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 10.66
System time (seconds): 0.10
Percent of CPU this job got: 90%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:11.92
System time (seconds): 0.16
Percent of CPU this job got: 83%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:12.90
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 254
Minor (reclaiming a frame) page faults: 2456
Major (requiring I/O) page faults: 259
Minor (reclaiming a frame) page faults: 2457
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -23,18 +23,18 @@
Exit status: 0
Command being timed: "/tmp/lurette52/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 23.23
System time (seconds): 0.45
Percent of CPU this job got: 92%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:25.66
User time (seconds): 23.28
System time (seconds): 0.37
Percent of CPU this job got: 82%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.83
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 254
Minor (reclaiming a frame) page faults: 17525
Major (requiring I/O) page faults: 259
Minor (reclaiming a frame) page faults: 17405
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -47,18 +47,18 @@
Exit status: 0
Command being timed: "/tmp/lurette52/lurette 100 50 50 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 51.68
System time (seconds): 0.87
Percent of CPU this job got: 85%
Elapsed (wall clock) time (h:mm:ss or m:ss): 1:01.71
User time (seconds): 51.45
System time (seconds): 0.89
Percent of CPU this job got: 93%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:56.19
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 254
Minor (reclaiming a frame) page faults: 37713
Major (requiring I/O) page faults: 259
Minor (reclaiming a frame) page faults: 37720
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -72,17 +72,17 @@
Command being timed: "/tmp/lurette52/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 3.64
System time (seconds): 0.08
Percent of CPU this job got: 61%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:06.05
System time (seconds): 0.10
Percent of CPU this job got: 76%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.86
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 274
Minor (reclaiming a frame) page faults: 2449
Major (requiring I/O) page faults: 279
Minor (reclaiming a frame) page faults: 2451
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -95,18 +95,18 @@
Exit status: 0
Command being timed: "/tmp/lurette52/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 8.46
System time (seconds): 0.23
Percent of CPU this job got: 91%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.50
User time (seconds): 8.43
System time (seconds): 0.21
Percent of CPU this job got: 80%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.67
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 274
Minor (reclaiming a frame) page faults: 7410
Major (requiring I/O) page faults: 279
Minor (reclaiming a frame) page faults: 7411
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -119,18 +119,18 @@
Exit status: 0
Command being timed: "/tmp/lurette52/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 3.10
System time (seconds): 0.09
Percent of CPU this job got: 88%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.59
User time (seconds): 3.02
System time (seconds): 0.07
Percent of CPU this job got: 84%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.64
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 270
Minor (reclaiming a frame) page faults: 2449
Major (requiring I/O) page faults: 274
Minor (reclaiming a frame) page faults: 2451
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -143,18 +143,18 @@
Exit status: 0
Command being timed: "/tmp/lurette52/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 9.51
System time (seconds): 0.15
Percent of CPU this job got: 88%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.95
User time (seconds): 9.71
System time (seconds): 0.18
Percent of CPU this job got: 87%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:11.29
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 270
Minor (reclaiming a frame) page faults: 7727
Major (requiring I/O) page faults: 274
Minor (reclaiming a frame) page faults: 7807
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment