summaryrefslogtreecommitdiffstats
path: root/scripts/smtbmc/axicheck2.smtc
blob: 1f8c5ea68ab364e85ec941abc52bf8dcf63a0552 (plain)
1
2
initial
assume (= [uut_0] [uut_1])