Clifford Wolf d58c3eca3a Some test related fixes ...

(incl. removal of three bad test cases)

2015-02-12 17:45:44 +01:00

..

abc

Fixed typos found by lintian

2015-02-01 21:49:55 +01:00

cmds

Added "scc -expect <N> -nofeedback"

2015-02-10 08:48:55 +01:00

equiv

Added equiv_add

2015-02-08 11:59:38 +01:00

fsm

Added onehot attribute

2015-02-04 18:52:54 +01:00

hierarchy

Fixed pattern matching in "hierarchy -generate"

2015-01-04 11:45:39 +01:00

memory

Added onehot attribute

2015-02-04 18:52:54 +01:00

opt

Less aggressive "share" defaults

2015-02-10 20:51:37 +01:00

proc

Added "proc_dlatch"

2015-02-12 16:56:01 +01:00

sat

Improved an error message

2015-01-28 00:46:00 +01:00

techmap

Added ENABLE_NDEBUG makefile options

2015-01-24 12:16:46 +01:00

tests

Some test related fixes

2015-02-12 17:45:44 +01:00