source: CIVL/examples/languageFeatures/assume.cvl@ 85d4675

/* Commandline execution:
 *              civl verify assume.cvl
 * */

#include <civlc.h>
$input int a[];

void main() {  
  $assume a[0] > 1;
  $assert a[0] > 0; 
}