Skip to content
This repository has been archived by the owner on Sep 12, 2024. It is now read-only.

[BUG] AOTT raise omitting semstring info in incl_info #309

Open
Jayanaka-98 opened this issue Mar 28, 2024 · 0 comments
Open

[BUG] AOTT raise omitting semstring info in incl_info #309

Jayanaka-98 opened this issue Mar 28, 2024 · 0 comments
Assignees
Labels
bug fix Something isn't working

Comments

@Jayanaka-98
Copy link
Collaborator

Describe the bug

  • In by LLM feature, when information is included in incl_info, the semstring information about the said information are omitted in AOTT_raise.

To Reproduce
glob y: 'an 8 bit binary encoded decimal':str = '001 101 110;
can 'convert to decimal' bin2dec -> 'decimal value':int by llm(incl_info=y);

  • The semstring information for the 'y' variable will not be included

Jaclang/Python Version

  • Installed from source/3.11
@Jayanaka-98 Jayanaka-98 added the bug fix Something isn't working label Mar 28, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug fix Something isn't working
Projects
None yet
Development

No branches or pull requests

3 participants