mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-02-22 11:17:43 +00:00
Code Activity
sby/tests
History
Exact
Gus Smith 551d8df2a9 Remove comments and point to appnote 
Instead of duplicating editorial comments in the test, we should just
point to the appnote where the comments are already made in a more
substantive way.
2026-02-18 08:20:51 -08:00
..
autotune Test autotune 2022-06-27 15:58:42 +02:00
blackbox add new blackbox test cases 2025-04-08 13:47:59 +01:00
intertask Don't use -f for intertask tests... 2025-07-09 10:40:49 +12:00
junit Add cover_assert option 2025-07-05 11:17:05 +12:00
keepgoing Support for "abc --keep-going pdr" via new "pdr -X" mode 2024-02-20 14:06:43 +01:00
links Fix heredoc in sub dir 2025-08-02 10:40:52 +12:00
make collect_tests.py: Ignore sby status dirs 2025-07-01 10:50:46 +12:00
parser sby: core: Added unsupported messages to the new sections 2022-08-18 05:36:11 -04:00
regression add non-verific name mangling regression test 2024-10-16 15:05:02 +02:00
staged_sim_and_verif Remove comments and point to appnote 2026-02-18 08:20:51 -08:00
statusdb Add jsonl status format 2025-07-29 10:00:52 +12:00
unsorted no_props.sby: Add btor_cover placeholder 2025-09-30 11:22:13 +13:00
.gitignore Refactor tests 2022-04-11 17:50:38 +02:00
Makefile allow running SBY tests with an external examples directory 2025-04-28 16:13:30 +02:00