7 commits

Author	SHA1	Message	Date
Miodrag Milanovic	487b38b124	Split latches into separete tests	2019-10-17 17:11:11 +02:00
Eddie Hung	8422ad3e3a	Use built-in async2sync call as per #1417	2019-10-17 17:10:42 +02:00
SergeyDegtyar	7bc8f0c2e2	Add comment with expected behavior for latches,tribuf tests;Update adffs test	2019-10-17 17:10:02 +02:00
SergeyDegtyar	489444bcba	Fix latches.ys test	2019-10-17 17:10:02 +02:00
SergeyDegtyar	757c476f62	Add smoke tests to tests/xilinx	2019-10-17 17:10:02 +02:00
Eddie Hung	5d680590d6	Use equiv_opt -async2sync for xilinx	2019-10-03 10:30:33 -07:00
Eddie Hung	6216e45eda	Add latch test modified from #1363	2019-09-30 12:52:43 +02:00