source: CIVL/examples/languageFeatures/inputProblem1.cvl@ 8bbd03ea

1.23 2.0 main test-branch
Last change on this file since 8bbd03ea was 0a34c97, checked in by Ziqing Luo <ziqing@…>, 8 years ago

Merge Yihao's fix for ticket 820.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@4548 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 74 bytes
RevLine 
[0a34c97]1#include <assert.h>
2
3int X;
4$assume(X>0);
5int main() {
6 assert(X == 1);
7}
Note: See TracBrowser for help on using the repository browser.