diff options
| author | Schuyler Eldridge | 2018-06-21 15:05:31 -0400 |
|---|---|---|
| committer | Jack Koenig | 2018-06-21 12:05:31 -0700 |
| commit | f86d72c9cd2526fc33528cc6a8023d1c313c4eb2 (patch) | |
| tree | b73f16fc2eca4e2935d965dde87e21f3c418df19 /src/test/resources/blackboxes/ParameterizedViaHeaderAdderExtModule.v | |
| parent | 61cf31d35c5bf22bebdcd959eac2cb8ff3574f33 (diff) | |
--infer-rw should take no argument (#829)
This fixes --infer-rw to not expect an argument. After the annotations
refactor, no option was required, but some legacy code remained.
This also updates the test cases to be more correct and not specify an
option to --infer-rw.
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
Diffstat (limited to 'src/test/resources/blackboxes/ParameterizedViaHeaderAdderExtModule.v')
0 files changed, 0 insertions, 0 deletions