GitLab

Passage à dune + création de tests

See merge request labels/lreplay!3

Remove pc_label_sequence

See merge request labels/lreplay!2

# Conflicts:
#   runtime.c
#   runtime.h

coverage :
 - removed old proccessing method
 - labels with bindings are now handled separately (cf. runtime.c)
 - Fix stack overflow error due to List.concat

runtime :
 - renamed functions in order to handle labels and bindings separately
 - removed some old logs
 - 2 new hash tables, one containing infos of labels and bindings, the other to
 remember bindings states (we only write one line per state) to optimize the
 number of write/read in files
 - added some comments

Started to implement detection of infeasible objectives for sequences in LUncov,
so LReplay now support it.

Old format :
Id, Status, Tag, Origin_loc, Current_loc, Emitter, Exec_time
* Id : Label's ID
* Status : Label's status (covered, uncoverable or unknown)
* Origin_loc :
  - Position in the non-annoted file if added by LAnnotate,
  - Position in the annoted file if added by LReplay (to avoid losing
    this information when replacing current_pos by drivers data)
* Current_loc :
  - position in the annotated file if added by PathCrawler (or older
    LReplay behaviours
  - list of drivers when edited by LReplay
* Emitter : Last plugin that modified this label
* Exec_time : Cf. LUncov

New format :
Id, Status, Tag, Origin_loc, Current_loc, Emitter, Drivers, Exec_time
* Id : Label's ID
* Status : Label's status (covered, uncoverable or unknown)
* Origin_loc : Position in the non-annoted file
* Current_loc : Position in the annoted file
* Emitter : Last plugin that modified this label
* Drivers : List of drivers that covered this label
* Exec_time : Cf. LUncov