Project

General

Profile

Download (236 Bytes)

Bug #9132 » test.c

Source file - Asia ., 07/19/2018 10:16 AM

 
extern void __VERIFIER_error(void);
extern int nondet(void);
int main()
{
int m1,m2,b;
m1=nondet();
m2=nondet();
b=((int)((int const) m1 < (int const)m2 ? (int const)m1 : m2));
if(b==0)
{
__VERIFIER_error();
}
return 0;
}
(2-2/3)