Skip to content

Merge dev/code : qualified

Malo DORIS requested to merge dev/code into main
  • upgrade version number to 3.0.0
  • hide tool functions explore, history, compare_baseline and update_iip
  • add comment " - QUALIFIED" on OBJ_justifies_OBJ et OBJ_satisfies_OBJ
  • add tool version number to the log file

Merge request reports