Krystine Sherwin 57e6baf287 tests/symfpu: Add cover checks ... Include mask/map for abc inputs (and switch to `anyconst` instead of `anyseq`). Add false divide check for mantissa. Covers aren't currently being tested by anything (and have to be removed for `sat`), but I've been using it locally with SBY to confirm that the different edge cases are able to be verified (e.g. when verifying HardFloat against symfpu while using the masked inputs to reduce solver time).		2026-03-11 12:58:56 +13:00
..
aiger	Merge pull request #5526 from YosysHQ/emil/fix-cellaigs-function-arg-eval-order	2025-12-12 10:00:09 +01:00
alumacc	Limit YOSYS_MAX_THREADS to 4 for abcopt-tests	2025-12-04 12:09:49 +01:00
arch	Merge pull request #5666 from YosysHQ/emil/equiv_induct-missing-model-errors	2026-02-25 15:39:31 +01:00
asicworld	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
bind	Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.	2025-07-22 10:38:38 +00:00
blif	blif: add -gatesi test	2026-01-14 21:41:56 +01:00
bram	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
bugpoint	raise_error: don't rely on module ordering in test	2025-09-16 15:47:16 +02:00
cxxrtl	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
errors	Rename the generic "Syntax error" message from the Verilog/SystemVerilog parser into unique,	2018-10-25 02:37:56 +03:00
fmt	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
fsm	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
functional	Add test	2026-01-06 16:19:04 -08:00
hana	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
liberty	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
lut	Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.	2025-07-22 10:38:38 +00:00
memfile	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
memlib	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
memories	Limit YOSYS_MAX_THREADS to 4 for abcopt-tests	2025-12-04 12:09:49 +01:00
opt	Merge pull request #5666 from YosysHQ/emil/equiv_induct-missing-model-errors	2026-02-25 15:39:31 +01:00
opt_share	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
peepopt	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
proc	Test empty switches	2026-01-07 13:21:33 +13:00
pyosys	use run_pass in ecp5 add/sub test	2026-01-29 02:42:23 -08:00
realmath	tests: use /usr/bin/env for bash.	2023-08-12 11:59:39 +10:00
rpc	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
rtlil	Add CONST_FLAG_UNSIZED	2025-11-07 17:45:07 +13:00
sat	fix(parse): #5234 adjust width of rhs according to lhs	2025-09-16 15:24:23 +02:00
sdc	sdc: error on unknown getters	2025-11-19 15:26:02 +01:00
select	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
share	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
sim	Revert sim's cycle_width default back to 10, but keep -width option	2025-10-20 14:40:05 +02:00
simple	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
simple_abc9	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
smv	Remove references to ilang	2024-11-05 12:36:31 +13:00
sva	tests/sva: Skip sva tests that use SBY until SBY is compatible again	2024-03-05 14:37:33 +01:00
svinterfaces	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
svtypes	tests: remove -seq 1 from sat with -tempinduct where possible	2025-09-08 18:04:32 +02:00
symfpu	tests/symfpu: Add cover checks	2026-03-11 12:58:56 +13:00
techmap	Sanitize ABC global and per-run temporary directory names in logs	2026-02-07 12:12:13 +13:00
tools	Add AFL++ Grammar-Generator grammar for RTLIL fuzzing, and instructions for how to use it.	2025-12-22 21:56:26 +00:00
unit	Merge pull request #5692 from YosysHQ/emil/modtools-fix-db-port-deletion	2026-02-20 10:49:28 +01:00
various	Merge pull request #5666 from YosysHQ/emil/equiv_induct-missing-model-errors	2026-02-25 15:39:31 +01:00
verific	tests/verific: ensure mixed -f requires VHDL unit	2026-01-28 22:46:10 -08:00
verilog	Merge pull request #4235 from ylm/genblk_wire	2026-01-13 16:40:22 +01:00
vloghtb	tests: use /usr/bin/env for bash.	2023-08-12 11:59:39 +10:00
xprop	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
.gitignore	Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.	2025-07-22 10:38:38 +00:00
common-env.sh	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
gen-tests-makefile.sh	Limit YOSYS_MAX_THREADS to 4 when running makefile-tests so we don't overload systems when running 'make -j... test'	2025-12-04 12:09:04 +01:00
pass-fuzzing.md	Add AFL++ Grammar-Generator grammar for RTLIL fuzzing, and instructions for how to use it.	2025-12-22 21:56:26 +00:00