Commit 0d115bc2 authored by erwan's avatar erwan
Browse files

Build: fix warning related to unattached comment, as dune 2.0 generates an error for those

parent 19e29bfe
Pipeline #32841 failed with stages
in 1 minute and 10 seconds
......@@ -90,4 +90,4 @@ USR_INCLS=-I./objs
./objs/mycode_puzzle.cpp: led.lus
cd ./objs; lv6 ../led.lus -n arduino_puzzle -2c; mv arduino_puzzle_arduino_puzzle.c arduino_puzzle_arduino_puzzle.cpp
include ArduinoMega.mk
# include ArduinoMega.mk
......@@ -19,7 +19,7 @@ make p1 : model-checking avec lesar
nb a propos de la preuve : parité versus exploration exhaustive
file
file:led.pdf
* Idées en vrac
** Compter en binaire
......
(* Time-stamp: <modified the 14/01/2016 (at 10:40) by Erwan Jahier> *)
(* Time-stamp: <modified the 02/12/2019 (at 14:27) by Erwan Jahier> *)
(**
Source 2 source transformation :
......@@ -21,7 +21,7 @@ let doit (inp : LicPrg.t) : LicPrg.t =
let atab = Hashtbl.create 10 in
let res = ref inp in
(** UTILE : nommage des alias d'array *)
(* UTILE : nommage des alias d'array *)
let array_ident ty sz =
let tid = Lic.ident_of_type ty in
let sfx = Printf.sprintf "%s_%d" (snd tid) sz in
......@@ -29,7 +29,7 @@ let doit (inp : LicPrg.t) : LicPrg.t =
id
in
(** UTILE : cherche/crée un alias de type *)
(* UTILE : cherche/crée un alias de type *)
let rec alias_type te =
match te with
| Array_type_eff (ty, sz) -> (
......@@ -69,7 +69,7 @@ let doit (inp : LicPrg.t) : LicPrg.t =
| _ -> te
in
(** TRAITE LES TYPES *)
(* TRAITE LES TYPES *)
let do_type k te =
let te' = match te with
| Array_type_eff (t, sz) -> Array_type_eff (alias_type t, sz)
......@@ -86,7 +86,7 @@ let doit (inp : LicPrg.t) : LicPrg.t =
in
LicPrg.iter_types do_type inp;
(** TRAITE LES CONSTANTES *)
(* TRAITE LES CONSTANTES *)
let do_const k ec =
let ec' = match ec with
| Extern_const_eff (i, te) ->
......@@ -112,7 +112,7 @@ let doit (inp : LicPrg.t) : LicPrg.t =
in
LicPrg.iter_consts do_const inp ;
(** TRAITE LES NOEUDS *)
(* TRAITE LES NOEUDS *)
let do_node k en =
(* n.b. les Lic.type_ apparraissent uniquement dans les var infos *)
let do_var vi =
......
(lang dune 1.11)
(lang dune 2.0)
This diff is collapsed.
==> lus2lic0.sum <==
Test run by jahier on Wed Oct 9 15:40:39
Test run by jahier on Mon Dec 2 14:30:17
Native configuration is x86_64-pc-linux-gnu
=== lus2lic0 tests ===
......@@ -66,7 +66,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
==> lus2lic1.sum <==
Test run by jahier on Wed Oct 9 15:40:40
Test run by jahier on Mon Dec 2 14:30:18
Native configuration is x86_64-pc-linux-gnu
=== lus2lic1 tests ===
......@@ -409,7 +409,7 @@ PASS: sh multipar.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {}
==> lus2lic2.sum <==
Test run by jahier on Wed Oct 9 15:41:09
Test run by jahier on Mon Dec 2 14:30:43
Native configuration is x86_64-pc-linux-gnu
=== lus2lic2 tests ===
......@@ -749,7 +749,7 @@ PASS: sh zzz2.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
==> lus2lic3.sum <==
Test run by jahier on Wed Oct 9 15:41:40
Test run by jahier on Mon Dec 2 14:31:14
Native configuration is x86_64-pc-linux-gnu
=== lus2lic3 tests ===
......@@ -1259,7 +1259,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
==> lus2lic4.sum <==
Test run by jahier on Wed Oct 9 15:42:19
Test run by jahier on Mon Dec 2 14:31:54
Native configuration is x86_64-pc-linux-gnu
=== lus2lic4 tests ===
......@@ -1777,13 +1777,13 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
===============================
# Total number of failures: 15
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 29 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 25 seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 31 seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 39 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 15 seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 40 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 16 seconds
* Ref time:
60.67user 20.82system 1:54.22elapsed 71%CPU (0avgtext+0avgdata 283180maxresident)k
0inputs+141488outputs (0major+11037451minor)pagefaults 0swaps
60.83user 20.19system 1:53.37elapsed 71%CPU (0avgtext+0avgdata 284112maxresident)k
0inputs+143424outputs (0major+11159217minor)pagefaults 0swaps
* Quick time (-j 4):
76.76user 24.63system 1:12.82elapsed 139%CPU (0avgtext+0avgdata 283284maxresident)k
2040inputs+138392outputs (0major+10828391minor)pagefaults 0swaps
69.13user 22.06system 1:14.18elapsed 122%CPU (0avgtext+0avgdata 284132maxresident)k
10592inputs+141952outputs (5major+11074425minor)pagefaults 0swaps
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