Skip to content

Generated code is not compilated on Unix implementation of JDK #636

@EgorkaKulikov

Description

@EgorkaKulikov

Description

Create tests for project in Intellij Idea 2021.1 with JDK 11 for the following class

Actual behavior

Generate code contains the following line that is not appropriate for Unix related JDKs and leads to ClassNotFoundException

Object fs = createInstance("java.io.WinNTFileSystem");

Additional context

Bug was found by Dmitry Fedrushkov wx1076228

Metadata

Metadata

Assignees

Labels

comp-symbolic-engineIssue is related to the symbolic execution enginectg-bugIssue is a bug

Type

No type

Projects

Status

Todo

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions