commit | c492f48e175aa3e6cf8377dd9a5eedbc47717eaa | [log] [tgz] |
---|---|---|
author | Mate Toth-Pal <mate.toth-pal@arm.com> | Tue Dec 19 09:46:29 2023 +0100 |
committer | Máté Tóth-Pál <Mate.Toth-Pal@arm.com> | Mon Jan 22 15:00:42 2024 +0100 |
tree | 452dfdc45b6fe843f06feb3040b9f039d1992e65 | |
parent | c751c0d975b6f1d76a18e045b869c8f824069349 [diff] |
feat(tools/cbmc): add option to test a single testbench This feature becomes useful when working on a single testbench. There is no need to wait for the other testbenches to finish analysis. Change-Id: I277b37ef796c66c26c03c4b3ca2cd29c705cfc88 Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>