search

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation
0 stars 0 forks source link

add different type support #7

Closed izlatkin closed 3 years ago

izlatkin commented 3 years ago

VERIFIER_nondet_int() -:> int VERIFIER_nondet_uint() -:> unsigned int VERIFIER_nondet_uchar() -:> unsigned char VERIFIER_nondet_char() -:> char __VERIFIER_nondet_bool() -:> bool