source: CIVL/examples/languageFeatures/enum2.cvl@ d94da5b

1.23 2.0 main test-branch
Last change on this file since d94da5b was 3ff27cf, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

updated examples since $assert/$assume has been changed to functions; fixed the model builder for the new side-effect remover.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@2085 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 396 bytes
RevLine 
[e6b02c8]1#include <civlc.cvh>
[a8ca3d3]2int main(){
3 int const x = 9;
[c358a25]4 enum hue { A, B = 4, C, D = B};
[a8ca3d3]5 enum huf {H, I, J, K};
6 enum hue a = A, b = B, c = C, d = D;
7 enum hue h = (enum hue) J;
8 int y = x + C;
9
[c358a25]10 {
[a8ca3d3]11 enum hf { A=10 };
12 int k = A;
13
[3ff27cf]14 $assert((k == 10));
[a8ca3d3]15 }
[3ff27cf]16 $assert((a == 0));
17 $assert((b == 4));
18 $assert((c == 5));
19 $assert((d == 4));
20 $assert((h == 2));
21 $assert((y == 14));
[a8ca3d3]22}
Note: See TracBrowser for help on using the repository browser.