File: sidetrail.h

package info (click to toggle)
aws-crt-python 0.28.4%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 78,428 kB
  • sloc: ansic: 437,955; python: 27,657; makefile: 5,855; sh: 4,289; ruby: 208; java: 82; perl: 73; cpp: 25; xml: 11
file content (7 lines) | stat: -rw-r--r-- 167 bytes parent folder | download | duplicates (20) 
1
2
3
4
5
6
7
 
#pragma once

void __VERIFIER_ASSERT_MAX_LEAKAGE(int max);
void __VERIFIER_ASSUME_LEAKAGE(int assumedLeakage);
void benign();
#define BENIGN benign()
//#define BENIGN