Skip to content

GitLab

Commit a5e54d03 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.111 Tue, 29 Oct 2002 14:30:40 +0100 by jahier 

Parent-Version:      0.110
Version-Log:

source/util.ml:
source/formula.ml:
source/lurette.ml:
   Only print one counter example if the test failed.

source/lurettetop.ml:
source/gen_stubs.ml:
   try to guess the node name in lurettetop rather than in gen_stubs
   if not given.

Project-Description: Lurette
parent 4fe98e62
Hide whitespace changes
Inline Side-by-side
.lurette.prcs_aux
View file @ a5e54d03
......@@ -46,11 +46,11 @@
(demo/chaudiere/chaudiere_oracle.lus 107 1031732392 c/8_chaudiere_ 1.1)
(source/solver.ml 31802 1033732198 39_solver.ml 1.32)
(test/ControleurPorte.lus 3219 1032940601 c/17_Controleur 1.1)
(source/lurette.ml 14068 1035560881 12_lurette.ml 1.58)
(source/lurette.ml 14202 1035898240 12_lurette.ml 1.59)
(source/Makefile 1114 1035531408 c/20_Makefile 1.7)
(source/util.ml 19125 1035885606 35_util.ml 1.32)
(source/util.ml 19170 1035898240 35_util.ml 1.33)
(mlcuddidl/manager.mli 7912 1034006019 c/46_manager.ml 1.1)
(test/time.res 6326 1035885606 b/49_time.res 1.18)
(test/time.res 6326 1035898240 b/49_time.res 1.19)
(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 @@
(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/gen_stubs.ml 33986 1035885606 24_generate_l 1.39)
(source/gen_stubs.ml 33941 1035898240 24_generate_l 1.40)
(OcamlMakefile 22626 1034951022 17_OcamlMakef 1.45)
(source/command_line.ml 4914 1035557853 b/20_command_li 1.10)
(mlcuddidl/bdd.ml 10889 1034006019 d/6_bdd.ml 1.1)
......@@ -70,7 +70,7 @@
(make_lurette 1306 1034006019 27_make_luret 1.17)
(source/control.ml 4416 1030975996 c/4_control.ml 1.3)
(ihm/xlurette/xlurette_glade_interface.ml 32774 1035885606 c/15_xlurette_g 1.8)
(source/lurettetop.ml 29440 1035885606 c/1_lurettetop 1.20)
(source/lurettetop.ml 30041 1035898240 c/1_lurettetop 1.21)
(mlcuddidl/README 1574 1034006019 d/8_README 1.1)
(source/Makefile.lurettetop 300 1035531408 d/14_Makefile.l 1.1)
(cuddaux/README 1427 1034006019 c/34_README 1.1)
......@@ -110,7 +110,7 @@
(mlcuddidl/mtbdd.ml 10185 1034006019 c/44_mtbdd.ml 1.1)
(demo/chaudiere/chaudiere_ctrl.lus 177 1031732392 c/9_chaudiere_ 1.1)
(source/control.mli 3202 1030975671 c/3_control.ml 1.2)
(source/formula.ml 5765 1033397911 45_formula.ml 1.21)
(source/formula.ml 5759 1035898240 45_formula.ml 1.22)
(cuddaux/Makefile 3091 1034006019 c/35_Makefile 1.1)
(doc/ocamldoc.hva 313 1008328137 b/13_ocamldoc.h 1.1)
(test/test_gen_stubs.h 1818 1020068208 b/45_test_gen_s 1.1)
......@@ -136,7 +136,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 6326 1035885606 b/48_time.exp 1.15)
(test/time.exp 6326 1035898240 b/48_time.exp 1.16)
(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 @ a5e54d03
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "Lurette")
(Project-Version lurette 0 110)
(Parent-Version lurette 0 109)
(Project-Version lurette 0 111)
(Parent-Version lurette 0 110)
(Version-Log "
source/util.ml:
source/formula.ml:
source/lurette.ml:
Only print one counter example if the test failed.
source/lurettetop.ml:
source/gen_stubs.ml:
ihm/xlurette/xlurette_glade_main.ml:
ihm/xlurette/xlurette.glade:
Add the possibility to specify te sut and the oracle main node
(to feed the lustre compiler).
try to guess the node name in lurettetop rather than in gen_stubs
if not given.
")
(New-Version-Log ""
)
(Checkin-Time "Tue, 29 Oct 2002 11:00:06 +0100")
(Checkin-Time "Tue, 29 Oct 2002 14:30:40 +0100")
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
......@@ -36,7 +39,7 @@ Add the possibility to specify te sut and the oracle main node
;; Sources files for lurette only
(source/lurette.mli (lurette/11_lurette.ml 1.12 644))
(source/lurette.ml (lurette/12_lurette.ml 1.58 644))
(source/lurette.ml (lurette/12_lurette.ml 1.59 644))
(source/command_line.ml (lurette/b/20_command_li 1.10 644))
(source/command_line.mli (lurette/b/21_command_li 1.9 644))
......@@ -48,7 +51,7 @@ Add the possibility to specify te sut and the oracle main node
(source/env.mli (lurette/15_env.mli 1.16 644))
(source/env.ml (lurette/16_env.ml 1.29 644))
(source/util.ml (lurette/35_util.ml 1.32 444))
(source/util.ml (lurette/35_util.ml 1.33 444))
(source/solver.mli (lurette/38_solver.mli 1.13 644))
(source/solver.ml (lurette/39_solver.ml 1.32 644))
......@@ -63,7 +66,7 @@ Add the possibility to specify te sut and the oracle main node
(source/show_env.ml (lurette/43_show_env.m 1.14 644))
(source/formula.mli (lurette/44_formula.ml 1.18 644))
(source/formula.ml (lurette/45_formula.ml 1.21 644))
(source/formula.ml (lurette/45_formula.ml 1.22 644))
(source/print.mli (lurette/46_print.mli 1.12 644))
(source/print.ml (lurette/47_print.ml 1.21 644))
......@@ -83,8 +86,8 @@ Add the possibility to specify te sut and the oracle main node
(source/gne.mli (lurette/b/36_gne.mli 1.4 644))
(source/gne.ml (lurette/b/37_gne.ml 1.4 644))
(source/lurettetop.ml (lurette/c/1_lurettetop 1.20 644))
(source/gen_stubs.ml (lurette/24_generate_l 1.39 644))
(source/lurettetop.ml (lurette/c/1_lurettetop 1.21 644))
(source/gen_stubs.ml (lurette/24_generate_l 1.40 644))
(source/control.mli (lurette/c/3_control.ml 1.2 644))
(source/control.ml (lurette/c/4_control.ml 1.3 644))
......@@ -130,8 +133,8 @@ Add the possibility to specify te sut and the oracle main node
(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.15 644))
(test/time.res (lurette/b/49_time.res 1.18 644))
(test/time.exp (lurette/b/48_time.exp 1.16 644))
(test/time.res (lurette/b/49_time.res 1.19 644))
;; Various files used for testing purposes
(test/usager.luc (lurette/b/14_usager.env 1.9 644))
......
source/formula.ml
View file @ a5e54d03
(*-----------------------------------------------------------------------
** Copyright (C) 2001 - Verimag.
** Copyright (C) 2001, 2002 - Verimag.
** This file may only be copied under the terms of the GNU Library General
** Public License
**-----------------------------------------------------------------------
......@@ -178,7 +178,7 @@ let (print_subst_list : subst list -> out_channel -> unit) =
List.iter
(fun (vn, e) ->
output_string oc vn ;
output_string oc " = \n\t\t";
output_string oc " = ";
Value.print oc e;
output_string oc "\n\t"
)
......@@ -189,7 +189,7 @@ let (print_env_in : env_in -> out_channel -> unit) =
Hashtbl.iter
(fun vn e ->
output_string oc vn ;
output_string oc " = \n\t\t";
output_string oc " = ";
Value.print oc e;
output_string oc "\n\t"
)
......
source/gen_stubs.ml
View file @ a5e54d03
......@@ -10,7 +10,7 @@
*)
open List
open Parse_poc
(** Generates stub files for calling poc C programs from lurette. Its main
function takes as input the name of the sut and the name of the oracle
......@@ -938,8 +938,9 @@ let usage = ("\n\nusage: gen_stub <sut> <sut_node> [<oracle> <oracle_node>] " ^
let compile_lustre_program_if_needed lustre_prog lustre_node =
(* if no .h or .c exists, we try to generate them with lustre... *)
if
( not (Sys.file_exists (lustre_prog ^ ".c"))
|| not (Sys.file_exists (lustre_prog ^ ".h"))
(
not (Sys.file_exists (lustre_prog ^ ".c")) ||
not (Sys.file_exists (lustre_prog ^ ".h"))
)
then
(
......@@ -959,23 +960,21 @@ let compile_lustre_program_if_needed lustre_prog lustre_node =
let (main : unit -> 'a) =
fun _ ->
let arg_nb = (Array.length Sys.argv) - 1 in
if (arg_nb <> 1) && (arg_nb <> 2) && (arg_nb <> 4)
if (arg_nb <> 2) && (arg_nb <> 4)
then
(
output_string stderr ("*** Wrong number of arguments: " ^
string_of_int arg_nb ^
" instead of 1, 2, 3, or 4.\n");
" instead of 2 or 4.\n");
output_string stderr usage;
flush stderr;
exit 2
)
else if arg_nb <= 2
else if arg_nb = 2
then
(
let sut = Sys.argv.(1) in
let sut_node =
try Sys.argv.(2)
with Invalid_argument _ -> ""
let sut_node = Sys.argv.(2)
in
let old_fake_oracle =
try Util.readfile "always_true.lus"
......
source/lurette.ml
View file @ a5e54d03
......@@ -360,24 +360,27 @@ and
" at step " ^ (string_of_int t) ^
" with the following values:\n ");
Util.list_iter3
(fun i o r ->
let rec print_failures li lo lr =
let i = List.hd li
and o = List.hd lo
and r = List.hd lr
in
if (not r) then
(
output_string stdout "\n********************************";
output_string stdout "\n*** sut inputs:\n\t" ;
output_string stdout "\n* sut inputs:\n\t" ;
print_subst_list i stdout;
output_string stdout "\n*** sut outputs:\n\t" ;
print_env_in o stdout;
flush stdout
output_string stdout "\n* sut outputs:\n\t" ;
print_env_in o stdout
(* XXX Should I print them all? *)
(* print_failures (List.tl i, List.tl o, List.tl r) *)
)
else
()
)
inputs
sut_outputs
results ;
output_string stdout "\n*** pre:\n\t" ;
print_failures (List.tl li) (List.tl lo) (List.tl lr)
in
print_failures inputs sut_outputs results ;
output_string stdout "\n* pre:\n\t" ;
print_subst_list (Env_state.pre ()) stdout;
flush stdout;
flush rif;
......
source/lurettetop.ml
View file @ a5e54d03
......@@ -272,8 +272,27 @@ let (build : string -> string -> string -> bool) =
(
Unix.putenv "SUT" (sut ^ ".c");
Unix.putenv "ORACLE" (oracle2 ^ ".c");
let sut_node =
if
flag.sut_node = ""
then
(* try to guess the node name if not given *)
let base = Filename.basename flag.sut_node in
try Filename.chop_extension base
with _ -> base
else flag.sut_node
and
oracle_node =
if flag.oracle_node = ""
then
(* try to guess the node name if not given *)
let base = Filename.basename flag.oracle_node in
try Filename.chop_extension base
with _ -> base
else flag.oracle_node
in
try
Util.gen_stubs sut flag.sut_node oracle flag.oracle_node;
Util.gen_stubs sut sut_node oracle oracle_node;
output_string stderr make_cmd ;
flush stderr ;
flush stdout;
......@@ -514,8 +533,9 @@ and
fun tok ->
try
match tok with parser
| [< >] -> ""
| [< 'Genlex.Ident id >] -> id
| [< 'Genlex.String id >] -> id
| [< >] -> ""
with _ ->
print_string
"*** parse error: cannot parse that node name.\n";
......@@ -624,13 +644,13 @@ set_env \"<env ([x] env)*>\" (env=<file name>)
then "UNSET!"
else ("\"" ^ flag.env ^ "\" ")) ^ "
set_sut <file name> [<main node name>]
set_sut <file name> [<sut file name> <main node name>]
to set the sut field. Its current value is " ^
(if flag.sut = ""
then "UNSET!"
else("\"" ^ flag.sut ^ " " ^ flag.sut_node ^ "\"")) ^ "
set_oracle <file name> [<main node name>]
set_oracle <file name> [<oracle file name> <main node name>]
to set the oracle field. Its current value is " ^
(match flag.oracle with
None -> "unset"
......@@ -727,17 +747,26 @@ let (read_commands : string -> string -> string -> (unit -> string) -> bool) =
( match (read_cmd (lexer (Stream.of_string (readline ())))) with
Sut(str, node) ->
flag.sut <- str ;
if node <> "" then flag.sut_node <- node ;
flag.to_build := true; true
flag.sut_node <- node ;
flag.to_build := true;
true
| Oracle(str, node) ->
if str = "" then
( flag.oracle <- None ; flag.to_build := true; true)
if str = ""
then
(
flag.oracle <- None ;
flag.oracle_node <- ""
)
else
(
flag.oracle <- Some str ;
if node <> "" then flag.oracle_node <- node ;
flag.to_build := true; true
)
flag.oracle_node <- node
);
flag.to_build := true;
true
| MakeOpt(str) ->
flag.make_opt <- str; true
| Env(llist) ->
......
source/util.ml
View file @ a5e54d03
......@@ -442,6 +442,7 @@ let (lus2ec: string -> string -> unit) =
fun lustre_prog lustre_node ->
let cmd = ("/usr/local/tools/lustre/bin/lus2ec " ^ lustre_prog ^ ".lus " ^ lustre_node ^ "\n") in
output_string stderr cmd;
flush stderr;
if
((Sys.command cmd) <> 0)
then
......@@ -506,13 +507,16 @@ let (gen_stubs : string -> string -> string -> string -> unit) =
^ sut_node ^ " " ^ oracle ^ " " ^ oracle_node
^ " > gen_stubs.log \n")
in
output_string stderr gen_stubs_cmd ;
output_string stderr gen_stubs_cmd;
flush stderr ;
if ((Sys.command gen_stubs_cmd) <> 0)
then
failwith "*** gen_stubs failed.\n"
else
output_string stderr " ... gen_stubs ok.\n";
flush stderr
(
output_string stderr " ... gen_stubs ok.\n";
flush stderr
)
let (show_luc : string -> unit) =
fun luc_file ->
......
test/time.exp
View file @ a5e54d03
Command being timed: "/tmp/lurette46/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): 11.13
System time (seconds): 0.14
Percent of CPU this job got: 81%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:13.82
Command being timed: "/tmp/lurette21/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): 11.69
System time (seconds): 0.12
Percent of CPU this job got: 91%
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: 245
Major (requiring I/O) page faults: 247
Minor (reclaiming a frame) page faults: 2456
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -22,18 +22,18 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette46/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): 24.54
System time (seconds): 0.36
Percent of CPU this job got: 79%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:31.28
Command being timed: "/tmp/lurette21/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): 25.48
System time (seconds): 0.48
Percent of CPU this job got: 92%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.10
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: 245
Major (requiring I/O) page faults: 247
Minor (reclaiming a frame) page faults: 17419
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -46,18 +46,18 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette46/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): 55.17
System time (seconds): 0.79
Percent of CPU this job got: 85%
Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.21
Command being timed: "/tmp/lurette21/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): 55.23
System time (seconds): 0.97
Percent of CPU this job got: 86%
Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.18
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: 245
Major (requiring I/O) page faults: 247
Minor (reclaiming a frame) page faults: 38104
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -70,19 +70,19 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette46/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.79
System time (seconds): 0.10
Percent of CPU this job got: 60%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:06.48
Command being timed: "/tmp/lurette21/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.70
System time (seconds): 0.09
Percent of CPU this job got: 84%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.47
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: 2450
Major (requiring I/O) page faults: 263
Minor (reclaiming a frame) page faults: 2449
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -94,19 +94,19 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette46/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.75
System time (seconds): 0.17
Command being timed: "/tmp/lurette21/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.66
System time (seconds): 0.21
Percent of CPU this job got: 90%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.88
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.81
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: 7338
Major (requiring I/O) page faults: 263
Minor (reclaiming a frame) page faults: 7337
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -118,19 +118,19 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette46/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.09
System time (seconds): 0.09
Percent of CPU this job got: 88%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.61
Command being timed: "/tmp/lurette21/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.05
System time (seconds): 0.08
Percent of CPU this job got: 85%
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: 266
Minor (reclaiming a frame) page faults: 2450
Major (requiring I/O) page faults: 260
Minor (reclaiming a frame) page faults: 2449
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -142,19 +142,19 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette46/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): 10.23
System time (seconds): 0.22
Command being timed: "/tmp/lurette21/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): 10.19
System time (seconds): 0.15
Percent of CPU this job got: 90%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:11.57
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:11.37
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: 265
Minor (reclaiming a frame) page faults: 7788
Major (requiring I/O) page faults: 259
Minor (reclaiming a frame) page faults: 7787
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......
test/time.res
View file @ a5e54d03
Command being timed: "/tmp/lurette46/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): 11.13
System time (seconds): 0.14
Percent of CPU this job got: 81%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:13.82
Command being timed: "/tmp/lurette21/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): 11.69
System time (seconds): 0.12
Percent of CPU this job got: 91%
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: 245
Major (requiring I/O) page faults: 247
Minor (reclaiming a frame) page faults: 2456
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -22,18 +22,18 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette46/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): 24.54
System time (seconds): 0.36
Percent of CPU this job got: 79%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:31.28
Command being timed: "/tmp/lurette21/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): 25.48
System time (seconds): 0.48
Percent of CPU this job got: 92%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.10
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: 245
Major (requiring I/O) page faults: 247
Minor (reclaiming a frame) page faults: 17419
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -46,18 +46,18 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette46/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): 55.17
System time (seconds): 0.79
Percent of CPU this job got: 85%
Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.21
Command being timed: "/tmp/lurette21/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): 55.23
System time (seconds): 0.97
Percent of CPU this job got: 86%
Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.18
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: 245
Major (requiring I/O) page faults: 247
Minor (reclaiming a frame) page faults: 38104
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -70,19 +70,19 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette46/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.79
System time (seconds): 0.10
Percent of CPU this job got: 60%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:06.48
Command being timed: "/tmp/lurette21/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.70
System time (seconds): 0.09
Percent of CPU this job got: 84%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.47
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: 2450
Major (requiring I/O) page faults: 263
Minor (reclaiming a frame) page faults: 2449
Voluntary context switches: 0
Involuntary context switches: 0
<