Merge pull request #57 from PhilippMDoerner/use-stronger-assertions #151
AraqAnnotations
68 warnings
|
linux-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
linux-amd64-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
linux-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
linux-amd64-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
linux-amd64-nim-version-2-0 (master):
threading/smartptrs.nim#L30
`=destroy`(p.val[]) can raise an unlisted exception: Exception [Effect]
|
|
linux-amd64-nim-version-2-0 (master):
threading/smartptrs.nim#L102
decr(p) can raise an unlisted exception: Exception [Effect]
|
|
macos-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
macos-amd64-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
macos-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
macos-amd64-nim-version-2-0 (master):
threading/smartptrs.nim#L30
`=destroy`(p.val[]) can raise an unlisted exception: Exception [Effect]
|
|
macos-amd64-nim-version-2-0 (master):
threading/smartptrs.nim#L102
decr(p) can raise an unlisted exception: Exception [Effect]
|
|
macos-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
macos-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
windows-amd64-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
windows-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-amd64-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
windows-amd64-nim-version-2-0 (master):
threading/smartptrs.nim#L30
`=destroy`(p.val[]) can raise an unlisted exception: Exception [Effect]
|
|
windows-amd64-nim-version-2-0 (master):
threading/smartptrs.nim#L102
decr(p) can raise an unlisted exception: Exception [Effect]
|
|
windows-i386-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
windows-i386-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
windows-i386-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-version-2-0 (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-version-2-0 (master)
`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]
|
|
windows-i386-nim-version-2-0 (master):
threading/smartptrs.nim#L30
`=destroy`(p.val[]) can raise an unlisted exception: Exception [Effect]
|
|
windows-i386-nim-version-2-0 (master):
threading/smartptrs.nim#L102
decr(p) can raise an unlisted exception: Exception [Effect]
|
|
windows-i386-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|
|
windows-i386-nim-devel (master)
`gc:option` is deprecated; use `mm:option` instead [Deprecated]
|