User Tools

Site Tools


retrieving_information_from_source_code

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

retrieving_information_from_source_code [2013/07/15 20:39]
lliang created
retrieving_information_from_source_code [2013/07/15 20:42] (current)
lliang
Line 27: Line 27:
 <​code>​int int_array = [1, 2, 3];</​code>​ <​code>​int int_array = [1, 2, 3];</​code>​
  
-We can get the values ​of it in CBMC as follows:+We can get its values as follows:
  
 <​code>​ <​code>​
retrieving_information_from_source_code.txt ยท Last modified: 2013/07/15 20:42 by lliang