Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

memsafety openbsd: add violated subproperty #1286

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

memsafety openbsd: add violated subproperty #1286

wants to merge 1 commit into from

Commits on Dec 20, 2020

  1. memsafety openbsd: add violated subproperty 

    Part of a fix of sosy-lab#1285.
    @mchalupa
    mchalupa committed Dec 20, 2020
    Configuration menu
    Copy the full SHA
    2e51c43 View commit details
    Browse the repository at this point in the history