76 |
<ul> |
<ul> |
77 |
<li> |
<li> |
78 |
Header files: Copy or link SIZE.h, CPP_OPTIONS.h and CP_EEOPTIONS.h from |
Header files: Copy or link SIZE.h, CPP_OPTIONS.h and CP_EEOPTIONS.h from |
79 |
.../verification/exp4/ to .../model/inc/, .../model/inc/ and .../eesupp.inc/ |
.../verification/exp4/code/ to .../model/inc/, .../model/inc/ and .../eesupp.inc/ |
80 |
respectively</li> |
respectively</li> |
81 |
|
|
82 |
<li> |
<li> |
99 |
To run the code you must first choose a data file to use: |
To run the code you must first choose a data file to use: |
100 |
<ul> |
<ul> |
101 |
<li> |
<li> |
102 |
cd ../verification/exp4</li> |
cd ../verification/exp4/input/</li> |
103 |
|
|
104 |
<li> |
<li> |
105 |
cp data.bump data</li> |
cp data.bump data</li> |