Code

Add a tool-info module for rIC3#1141

Code

Merged

PhilippWendler merged 1 commit intososy-lab:mainsosy-lab/benchexec:mainfrom Po-Chun-Chien:ric3-tool-infoPo-Chun-Chien/benchexec:ric3-tool-infoCopy head branch name to clipboardJan 7, 2025

+47

Commits

Commits on Dec 10, 2024

• Create a tool-info module for rIC3

  Po-Chun-Chien

  committed
  8077594

  Copy full SHA for 8077594