我創建了一個類似於Nullable(Of T)的包裝類型,我正在編寫一些單元測試來測試相等性。像Nullable(Of T)我有MyWrapperType(Of T)和T(兩個方向)之間的隱式轉換。因此,我預計NUnit會通過以下所有測試: Dim x = New MyWrapperType(Of DateTime)(Date.MaxValue)
Assert.True(Date.MaxValu
我已經定義了以下合金模型 使用單個狀態對象來指向兩棵樹的根State.a和State.b。 sig N {
children: set N
}
fact {
let p = ~children |
~p.p in iden
and no iden & ^p
}
one sig State {
a: one N,
b: one