source: CIVL/mods/dev.civl.com/examples/languageFeatures/assume.cvl@ cb4d4f4

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

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

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