CBMC
Loading...
Searching...
No Matches
java.io.c
Go to the documentation of this file.
1/* FUNCTION: java::java.io.InputStream.read:()I */
2
3int __CPROVER_ID "java::java.io.InputStream.read:()I" (void *)
4{
5 int read_result;
7 return read_result;
8}
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
return read_result
Definition java.io.c:7
__CPROVER_assume(read_result >=-1 &&read_result<=255)