For Java bytecode, types of variables in the local variable table are not added to the symbol table #187

Closed

Closed

For Java bytecode, types of variables in the local variable table are not added to the symbol table#187

Labels

Java Front Endbug

In rare cases this can lead to an error while constructing the GOTO-program with the error message: identifier $TYPE not found (cf. diffblue/verification-engine-utils#101)

added

mentioned this

add classes of local var table to class_ref #193

closed this as completedin #193

on Aug 22, 2016

added 4 commits that reference this issue

on Sep 21, 2016

use json file suggested at github issue diffblue#187

use json file as suggested at github issue diffblue#187

added 2 commits that reference this issue

on Oct 19, 2016

use json file suggested at github issue diffblue#187

use json file as suggested at github issue diffblue#187

2 remaining items

added a commit that references this issue

on Mar 14, 2017

use json file suggested at github issue diffblue#187

added a commit that references this issue

on Mar 15, 2017

use json file suggested at github issue #187

added 3 commits that reference this issue

on Jul 14, 2017

use json file suggested at github issue #187

use json file suggested at github issue #187

added a commit that references this issue

use json file suggested at github issue #187

added a commit that references this issue

use json file suggested at github issue diffblue#187

added 2 commits that reference this issue

Squashed 'cbmc/' changes from 33d8af7..5a58539

Merge pull request diffblue#187 from diffblue/smowton/feature/models_…

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

Java Front Endbug

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Participants