Jannis Harder 985b9164da Disable flaky arch/anlogic/mux test

2025-09-09 10:04:08 +12:00

..

aiger

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

alumacc

macc_v2: Add test

2025-01-27 13:19:26 +01:00

arch

Disable flaky arch/anlogic/mux test

2025-09-09 10:04:08 +12:00

asicworld

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

bind

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

blif

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

bram

…

bugpoint

raise_error: Extra test

2025-08-02 14:54:32 +12:00

cxxrtl

Reinstate #4768

2025-04-08 11:58:05 +12:00

errors

…

fmt

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

fsm

…

functional

functional tests: run from make tests but not smtlib/rkt tests

2024-09-04 10:30:08 +01:00

hana

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

liberty

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

lut

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

memfile

…

memlib

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

memories

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

opt

opt_dff: more explicit testing, typo

2025-08-27 11:29:57 +02:00

opt_share

…

peepopt

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

proc

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

realmath

…

rpc

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

sat

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

select

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

share

…

sim

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

simple

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

simple_abc9

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

smv

Remove references to ilang

2024-11-05 12:36:31 +13:00

sva

…

svinterfaces

…

svtypes

tests: remove -seq 1 from sat with -tempinduct where possible

2025-09-08 18:04:32 +02:00

techmap

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

tools

…

unit

Support IdString parameters in stringf

2025-09-01 23:34:42 +00:00

various

tests: remove -seq 1 from sat with -tempinduct where possible

2025-09-08 18:04:32 +02:00

verific

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

verilog

tests: remove -seq 1 from sat with -tempinduct where possible

2025-09-08 18:04:32 +02:00

vloghtb

…

xprop

…

.gitignore

Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.

2025-07-22 10:38:38 +00:00

gen-tests-makefile.sh

Update gen-tests-makefile.sh

2025-03-27 10:33:51 +13:00