Sign in
opensecura
/
3p
/
nicta
/
cogent
/
refs/heads/master
/
.
/
c-refinement
/
tests
/
stdlib
/
stdint.h
blob: 75b6c201c17c64e62e05d38013d2b056f8452644 [
file
] [
log
] [
blame
] [
edit
]
/*
* Copyright 2016, NICTA
*
* This software may be distributed and modified according to the terms of
* the GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
*
* @TAG(NICTA_GPL)
*/